7956 search results - page 224 / 1592 » Into the Future |
177
click to vote
TACAS
2005
Springer
16 years 20 days ago
2005
Springer
Abstract. A Java-based tool-supported software development and analysis framework is presented, where monitoring is a foundational principle. Expressive requirements specification...
165
click to vote
TMRA
2005
Springer
16 years 20 days ago
2005
Springer
Abstract. This paper describes TMRAP, an abstract web service interface for remote access to topic maps. It can be used to access a topic map repository to query or update a topic ...
208
click to vote
SIGECOM
2004
ACM
16 years 19 days ago
2004
ACM
In this paper, we combine two approaches to handling uncertainty: we use techniques for finding optimal solutions in the expected sense to solve combinatorial optimization proble...
132
click to vote
ACRI
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. I argue for the use of a specific type of grid and computational style for computational simulation that utilize emergence to produce results that would resemble physica...
198
click to vote
ARCS
2004
Springer
16 years 18 days ago
2004
Springer
Computer systems of the future will consist more and more of autonomous and cooperative system parts and behave self-organizing. Self-organizing is mainly characterized by adaptive...