15253 search results - page 2575 / 3051 » Integer-Programming Software Systems |
199
click to vote
ESAS
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. Node compromise is a serious threat in wireless sensor networks. Particular in networks which are organized in clusters, nodes acting as cluster heads for many cluster no...
142
Voted
FOSSACS
2007
Springer
16 years 15 days ago
2007
Springer
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...
156
click to vote
FSEN
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. During the last years, timed automata have become a popular model for describing the behaviour of real-time systems. In particular, there has been much research on proble...
167
click to vote
GECON
2007
Springer
16 years 14 days ago
2007
Springer
The major shortcoming of Grid middleware systems is the lack of economic-enhanced Grid services. These new services are necessary in order to let Grid users benefit from the proper...
165
click to vote
LADS
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. More and more aspects of concurrency and concurrent programming are becoming part of mainstream programming and software engineering, as a result of several factors, such...