2800 search results - page 338 / 560 » Fibrational Control Structures |
205
Voted
MOBIHOC
2000
ACM
15 years 7 months ago
2000
ACM
—An ad hoc network is a multi-hop wireless network formed by a collection of mobile nodes without the intervention of fixed infrastructure. Limited bandwidth and a high degree o...
140
Voted
ASM
2000
ASM
15 years 7 months ago
2000
ASM
We define the dynamic semantics of UML State Machines which integrate statecharts with the UML object model. The use of ASMs allows us (a) to rigorously model the event driven run...
107
Voted
ICAIL
1999
ACM
15 years 7 months ago
1999
ACM
Document drafting is a key component of legal expertise. E ective legal document drafting requires knowledge both of legal domain knowledge and of the structure of legal discourse...
111
Voted
ICRA
1999
IEEE
15 years 7 months ago
1999
IEEE
We analyze a class of mechanisms that locomote by switching between constraints. Because of the hybrid nature of such systems, most of the existing analysis tools, developed prima...
159
Voted
ISORC
1999
IEEE
15 years 7 months ago
1999
IEEE
Component-based software development is a promising way to improve quality, time to market and handle the increasing complexity of software for real-time systems. In this paper th...