644 search results - page 62 / 129 » An Exploration of Random Processes for Engineers |
AGTIVE
2007
Springer
14 years 2 months ago
2007
Springer
In collaborative ontology engineering, contexts are key to manage the complexity of different dependency types between ontological artefacts. Instead of being frustrated by out-of...
ICPR
2006
IEEE
14 years 9 months ago
2006
IEEE
In this paper we present the methods and visualizations used in the MediaMill video search engine. The basis for the engine is a semantic indexing process which derives a lexicon ...
ICSE
2003
IEEE-ACM
14 years 8 months ago
2003
IEEE-ACM
We show how the state space exploration tool VeriSoft can be used to analyze parallel C/C++ programs compositionally. VeriSoft is used to check assume/guarantee specifications of ...
KBSE
2008
IEEE
14 years 2 months ago
2008
IEEE
Evolution of software systems is characterized by inevitable changes of software and increasing software complexity, which in turn may lead to huge maintenance and development cos...
AGILEDC
2007
IEEE
14 years 2 months ago
2007
IEEE
Agile methodologies represent a ‘people’ centered approach to delivering software. This paper investigates the social processes that contribute to their success. Qualitative g...