11168 search results - page 1520 / 2234 » Abstract State Processes |
187
click to vote
AOSE
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. The agent-oriented software engineering methodology Tropos offers a structured development process and supporting tools for developing complex, distributed systems. The ...
186
click to vote
B
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Writing a formal specification for real-life, industrial problems is a difficult and error prone task, even for experts in formal methods. In the process of specifying a...
162
click to vote
BIOSURVEILLANCE
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. The global health, threatened by emerging infectious diseases, pandemic influenza, and biological warfare, is becoming increasingly dependent on the rapid acquisition, p...
188
click to vote
BTW
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Effective and efficient management and manipulation of XML documents requires stable decisions at the time a document enters the XML DBMS to provide for storage structure...
158
click to vote
BTW
2007
Springer
16 years 27 days ago
2007
Springer
Abstract: With information infrastructures getting more and more complex, it becomes necessary to give automated support for managing the evolution of the infrastructure. If change...