BibSonomy :: tag ::
order by ( date | folkrank )

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

RSS BibTeX XML

bookmarks

(188)

<< < 1 | 2 | 3 > >>

MARC 21 Format for Bibliographic Data: Table of Contents
@ Library of Congress
to LoC MARC bibliography libraries metadata specification standards by oeoe and 4 other users on Jan 11, 2012, 10:37 PM
(0)
form factors
to computer specification by hevi on Dec 28, 2011, 3:22 PM
(0)
The UNIX System
to specification unix by hevi on Dec 28, 2011, 3:21 PM
(0)
EPUB 3 Overview
to ebooks epub epub3 ereader open-standards specification by oeoe on Nov 26, 2011, 10:05 PM
(0)
Echo Icon Creation Guidelines
to design documentation graphics icon linux opensource specification vector by shelley.adams on Oct 24, 2011, 10:34 PM
(0)
Price And Specification
This site contains Mobile Price and specification, reviews, technology news, latest mobile updates, funny sms, mobile softwares, opera mini for mobiles, mi...
This site contains Mobile Price and specification, reviews, technology news, latest mobile updates, funny sms, mobile softwares, opera mini for mobiles, microsfot, apple, nokia, samsung,Find thousands of real music ringtones, cool wallpapers and the hottest games for your mobile
to Channels, Live News apple, htc, imate, lg, mobile mobiles motrola, nokia price prices, ringtones, samsung, softwares, specification themes, wallpapers, by mobiworldz on Sep 17, 2011, 8:30 AM
(0)
Cross-Origin Resource Sharing
to CORS Linked_Data Specification W3C javascript web by zazi on Aug 19, 2011, 12:38 PM
(0)
CURIE Syntax 1.0
to CURIE URI W3C specification web by zazi on Aug 19, 2011, 12:38 PM
(0)
BSON - Binary JSON
to bson specification by nosebrain and 1 other user on Aug 8, 2011, 5:52 PM
(0)
Internet Computing - Contents
Introduction to Maude: ToC This is the ToC of the Algebraic Specification of Hardware and Software module. The first part contains the Introduction to Maud...
Introduction to Maude: ToC This is the ToC of the Algebraic Specification of Hardware and Software module. The first part contains the Introduction to Maude course; the second (when written) will contain the Microprocessor Verification course. The first (non-technical) section is here (PDF). It outlines the contents of the course. 1. Term Rewriting (PDF) 2. Basic Maude (PDF) 3. Sort Hierarchies and Membership Axioms (PDF) 4. A Microprocessor Example (PDF)
to course maude specification tutorial by draganigajic on Jul 13, 2011, 6:12 PM
(0)
Model-based Testing with SpecExplorer - Microsoft Research
to .net microsoft research software specification testing by draganigajic on Jul 13, 2011, 6:11 PM
(0)
Home
to elearning eportfolio leap2a learning portfolio specification technology by georgeroberts on May 24, 2011, 4:13 PM
(0)
RFC 5849 - The OAuth 1.0 Protocol
to 5849 oauth rfc specification by folke and 1 other user on Apr 5, 2011, 1:22 PM
(0)
r4.cmpn.pdf (application/pdf Object)
to declarative ds osgi reference services spec specification by jil on Feb 28, 2011, 12:39 AM
(0)
Technical Information | JSTOR
to authentication jstor login specification by brightbyte on Feb 18, 2011, 3:31 PM
(0)
Transport Specification: MLLP, Release 2
Spec
to healthcare hl7 information mllp software specification by gresch on Jul 27, 2010, 8:26 PM
(0)
Specifications for Thesis Preparation 2008-2009: Institute Archives & Special Collections: MIT Libraries
to Thesiswriting specification thesis by des32 on Jul 7, 2010, 4:24 PM
(0)
Specification - linked-data-api - Linked Data API Specification - Project Hosting on Google Code
to api data endpoint linked rdf rest semantic semanticweb semweb sparql specification web by dolefulrabbit and 2 other users on Mar 3, 2010, 1:12 PM
(0)
DCMI Home: Dublin Core® Metadata Initiative (DCMI)
to internet library reference specification standards web xml by shelley.adams and 25 other users on Feb 9, 2010, 12:48 PM
(0)
The steam boiler specification problem
to boiler problem specification steam steam-boiler by lama on Jan 9, 2010, 12:21 AM
(0)

<< < 1 | 2 | 3 > >>bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(209)

<< < 1 | 2 | 3 > >>

Ontology for Media Resource 1.0
www.w3.org (2012)
to media ontology resource specification w3c by fgimpel and 1 other user on Jan 18, 2012, 3:55 PM
URL | BibTeX (0)
Ontology for Media Resource 1.0
www.w3.org (2012)
to media ontology resource specification w3c by maxirichter and 1 other user on Jan 18, 2012, 2:25 PM
URL | BibTeX (0)
Yahoo! Media RSS
video.search.yahoo.com (2012)
to feed format media rss specification yahoo by maxirichter on Jan 18, 2012, 2:24 PM
URL | BibTeX (0)
Activity Streams - a format for syndicating social activities around the web
activitystrea.ms (2012)
to activity atom feed json media nocache social specification stream streams by maxirichter on Jan 18, 2012, 2:21 PM
URL | BibTeX (0)
IMS-LD specification
IMS GLC (2003)
to IMS-LD asld-intro design learning specification by yish on Jan 11, 2012, 3:27 PM
URL | BibTeX (0)
Seamless Testing for Models and Code
Andreas Holzer, Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Michael Tautschnig, and Helmut Veith Fundamental Approaches to Software Engineering, volume 6603 of Lecture Notes in Computer Science, page 278--293. Springer, (2011)
to sweng testing specification by pbrada and 1 other user on Dec 16, 2011, 9:35 AM
BibTeX (0)
A Step-Wise Approach for Integrating QoS throughout Software Development
Stéphanie Gatti, Emilie Balland, and Charles Consel Fundamental Approaches to Software Engineering, volume 6603 of Lecture Notes in Computer Science, page 217--231. Springer, (2011)
to specification extra-functional qos traceability by pbrada and 1 other user on Dec 16, 2011, 9:35 AM
BibTeX (0)
Foundations of a simple and unified component-oriented language
Luc Fabresse, Christophe Dony, and Marianne Huchard Computer Languages, Systems \& Structures 34(2-3):130 - 149 (2008)Best Papers 2006 International Smalltalk Conference .
to component language specification by pbrada and 1 other user on Dec 16, 2011, 9:35 AM
URL | DOI | BibTeX (0)
An Algebraic Semantics for Contract-Based Software Components
Michel Bidoit, and Rolf Hennicker Proceedings of the 12th International Conference on Algebraic Methodology and Software Technology AMAST, volume 5140/2008 of Lecture Notes in Computer Science, page 216-231. Springer Verlag, (2008)
to component contract specification semantics by pbrada and 1 other user on Dec 16, 2011, 9:35 AM
DOI | BibTeX (0)
Specification and verification challenges for sequential object-oriented programs
Gary Leavens, K. Leino, and Peter Müller Formal Aspects of Computing (2007)
to specification verification survey by pbrada and 1 other user on Dec 16, 2011, 9:35 AM
DOI | BibTeX (0)
Specifications and their use in defining subtypes
Barbara Liskov, and Jeannette M. Wing SIGPLAN Not. (October 1993)
to type subtyping specification important by pbrada and 2 other users on Dec 16, 2011, 9:33 AM
URL | DOI | BibTeX (0)
Documents Associated With UML Version 2.4.1
OMG (Eds.). (August 2011)
to UML specification by voj on Oct 24, 2011, 12:29 PM
URL | BibTeX (0)
Description Set Profiles : a constraint language for Dublin Core Application Profiles
Mikael Nilsson (2008)
to dc description_set_profiles dsp dublincore specification by maxirichter on Oct 10, 2011, 10:54 AM
URL | BibTeX (0)
XForms 1.1
John M. Boyer (Eds.). (2009)
to forms richterm_ma specification w3c xforms xml by maxirichter on Aug 29, 2011, 10:23 AM
URL | BibTeX (0)
Incremental elaboration of scenario-based specifications and behavior models using implied scenarios
Sebastian Uchitel, Jeff Kramer, and Jeff Magee ACM Trans. Softw. Eng. Methodol. 13(1):37 -- 85 (January 2004)
to modeling scenario scenariobased specification by enitsirhc and 1 other user on Aug 22, 2011, 10:52 AM
BibTeX (0)
OWL 2 Web Ontology Language Document Overview
W3C OWL Working Group (Eds.). W3C Recommendation, (October 2009)
to OWL specification by voj and 1 other user on Aug 19, 2011, 9:38 AM
URL | BibTeX (0)
Introducing JSON
Douglas Crockford (2002)
to json specification by voj on Aug 8, 2011, 9:19 AM
URL | BibTeX (0)
Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language.
Jonathan P. Bowen IFM, volume 1945 of Lecture Notes in Computer Science, page 277-296. Springer, (2000)
to Description HDL Hardware Language Verilog animation formal literate logic methods myown operational programming semantics specification by jpbowen and 1 other user on Aug 2, 2011, 12:51 AM
URL | BibTeX (0)
Specification, Verification and Prototyping of an Optimized Compiler.
Jifeng He, and Jonathan P. Bowen Formal Asp. Comput. 6(6):643-658 (1994)
to compiler formal methods myown optimization prototyping specification verification by jpbowen and 1 other user on Aug 2, 2011, 12:31 AM
URL | BibTeX (0)
Test conditions for fault classes in Boolean specifications.
Kalpesh Kapoor, and Jonathan P. Bowen ACM Trans. Softw. Eng. Methodol. (2007)
to Boolean Test class condition fault formal methods myown specification by jpbowen and 1 other user on Aug 1, 2011, 9:58 PM
URL | BibTeX (0)

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100

BibSonomy :: tag :: order by ( date | folkrank )

bookmarks

publications

BibSonomy :: tag ::
order by ( date | folkrank )