2800 search results - page 338 / 560 » Fibrational Control Structures |
248
click to vote
MOBIHOC
2000
ACM
15 years 10 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...
186
click to vote
ASM
2000
ASM
15 years 10 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...
138
click to vote
ICAIL
1999
ACM
15 years 10 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...
149
click to vote
ICRA
1999
IEEE
15 years 10 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...
202
click to vote
ISORC
1999
IEEE
15 years 10 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...