2984 search results - page 412 / 597 » Method engineering process patterns |
142
click to vote
APAQS
2001
IEEE
15 years 5 months ago
2001
IEEE
With the increasing emphasis on dependability in complex, distributed systems, it is essential that system development can be done gradually and at different levels of detail. In ...
ICSE
2000
IEEE-ACM
15 years 5 months ago
2000
IEEE-ACM
This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...
133
Voted
CISIS
2007
IEEE
15 years 3 months ago
2007
IEEE
This paper describes the initial PhD research work for developing an innovative process for agent coordination in unstructured distributed environments. In this proposal, an agent...
110
click to vote
ISEMANTICS
2010
15 years 3 months ago
2010
We present the STEX system, a semantic extension of LATEX, that allows for producing high-quality PDF documents for (proof)reading and printing, as well as semantic XML/OMDoc docu...
131
Voted
LREC
2008
15 years 3 months ago
2008
Acquiring knowledge from the Web to build domain ontologies has become a common practice in the Ontological Engineering field. The vast amount of freely available information allo...