1425 search results - page 71 / 285 » The combined ISAC-ER methodology of information systems deve... |
SGAI
2007
Springer
14 years 3 months ago
2007
Springer
This paper presents an agent-based approach into a more general service oriented architecture for addressing the requirements of accessibility content and services in an ambient i...
WICSA
2004
13 years 10 months ago
2004
Early performance analysis based on Queueing Network Models (QNM) has been often proposed to support software designers during the software development process. These approaches a...
POPL
2008
ACM
14 years 9 months ago
2008
ACM
Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for techn...
CIA
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. Currently, many kinds of information agents for di erent purposes exist. However, agents from di erent systems are still unable to cooperate, even if they accurately foll...
SEKE
2004
Springer
14 years 2 months ago
2004
Springer
As application semantics becomes more complex and dynamic in IT systems, it is necessary to engineer the application semantics in its own lifecycle of development parallel to syste...