918 search results - page 155 / 184 » An Aspect Language for Robust Programming |
COGSCI
2010
13 years 9 months ago
2010
What is the relationship between space and time in the human mind? Studies in adults show an asymmetric relationship between mental representations of these basic dimensions of ex...
SIGSOFT
2006
ACM
14 years 2 months ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
ICALP
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. We describe a simple, conceptual forward analysis procedure for complete WSTS S. This computes the clover of a state s0, i.e., a finite description of the closure of the ...
ICALP
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. We introduce a new theoretical model of ad hoc mobile computing in which agents have severely restricted memory, highly unpredictable movement and no initial knowledge of...
IFIP
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. In Measurement Based Admission Control (MBAC), the decision of accepting or rejecting a new flow is based on measurements of the current traffic situation. An in-depth u...