7956 search results - page 224 / 1592 » Into the Future |
159
click to vote
TACAS
2005
Springer
16 years 4 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...
157
click to vote
TMRA
2005
Springer
16 years 4 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 ...
188
click to vote
SIGECOM
2004
ACM
16 years 2 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...
126
click to vote
ACRI
2004
Springer
16 years 2 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...
180
click to vote
ARCS
2004
Springer
16 years 1 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...