577 search results - page 37 / 116 » An Active Hypertext Model for System Requirements |
ESOP
2007
Springer
15 years 6 months ago
2007
Springer
Abstract We present the semantics and proof system for an objectoriented language with active objects, asynchronous method calls, and futures. The language, based on Creol, disting...
122
click to vote
CAISE
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Various approaches for services development in SOA propose business processes as a starting point. However, there is a lack of systematic methods for services identificat...
JSS
2000
14 years 11 months ago
2000
The upstream activities of software development projects are often viewed as both the most important, the least understood, and hence the most problematic. This is particularly no...
CEEMAS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. The complexity associated to Humanitarian Demining becomes very high due to its broad set of activities, which beyond the already complex of landmine removal, includes ot...
107
click to vote
HAPTICS
2009
IEEE
14 years 9 months ago
2009
IEEE
This paper describes development of a wind display system for the TreadPort virtual environment locomotion interface, which is cumulatively known as the TreadPort Active Wind Tunn...