85 search results - page 3 / 17 » Semantic Issues of OCL: Past, Present, and Future |
CCR
2008
13 years 5 months ago
2008
The Workshop on Organizing Workshops, Conferences, and Symposia for Computer Systems (WOWCS) was organized to "bring together conference organizers (past, present, and future...
CCR
2006
13 years 5 months ago
2006
Medium access control for wireless sensor networks has been a very active research area for the past couple of years. The sensor networks literature presents an alphabet soup of m...
WSC
2001
13 years 6 months ago
2001
The United States Department of Defense (DoD) has, over the past several years, emphasized the need to employ simulation based acquisition (SBA) in engineering and development. Di...
WAC
2005
Springer
13 years 10 months ago
2005
Springer
Self-organized and ad hoc communications have many fundamental principles in common and also face similar problems in the domains of security and Quality of Service. Trust manageme...
FM
2009
Springer
13 years 12 months ago
2009
Springer
This paper describes a complete denotational semantics, in the UTP framework, of slotted-Circus, a generic framework for reasoning about discrete timed/synchronously clocked system...