6201 search results - page 953 / 1241 » Implementation of Axiomatic Language |
163
click to vote
ECOOP
2007
Springer
16 years 26 days ago
2007
Springer
— As new versions of software are developed bugs inevitably arise either due to regression or new functionality. Challenges arise in discovering, managing, and testing the impact...
184
Voted
INTERSENSE
2006
ACM
16 years 19 days ago
2006
ACM
— Wireless sensor network (WSN) architectures often feature a (single) base station in charge of coordinating the application functionality. Although this assumption simplified ...
176
click to vote
CCS
2005
ACM
16 years 7 days ago
2005
ACM
Policy enforcement is an integral part of many applications. Policies are often used to control access to sensitive information. Current policy specification languages give users ...
173
click to vote
ICCS
2005
Springer
16 years 6 days ago
2005
Springer
Computational Grids potentially offer cheap large-scale high-performance systems, but are a very challenging architecture, being heterogeneous, shared and hierarchical. Rather tha...
204
Voted
UML
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Current trends in software development show a move towards supporting autonomous components (agents). The accurate timing of interactions between such components is growi...