Sciweavers

1122 search results - page 155 / 225
» Behavioral Extensions of Institutions
Sort
View
UML
2001
Springer
15 years 2 months ago
Formalization of UML-Statecharts
The work presented here is part of a project that aims at the definition of a methodology for developing realtime software systems based on UML. In fact, being relatively easy to ...
Michael von der Beeck
ICRA
2000
IEEE
136views Robotics» more  ICRA 2000»
15 years 2 months ago
Recent Progress in Local and Global Traversability for Planetary Rovers
Autonomous planetary rovers operating in vast unknown environments must operate efficiently because of size, power and computing limitations. Recently, we have developed a rover c...
Sanjiv Singh, Reid G. Simmons, Trey Smith, Anthony...
IWSSD
2000
IEEE
15 years 2 months ago
An Approach to Preserving Sufficient Correctness in Open Resource Coalitions
Most software that most people use most of the time needs only moderate assurance of fitness for its intended purpose. Unlike high-assurance software, where the severe consequence...
Orna Raz, Mary Shaw
CHI
2000
ACM
15 years 2 months ago
Alice: lessons learned from building a 3D system for novices
We present lessons learned from developing Alice, a 3D graphics programming environment designed for undergraduates with no 3D graphics or programming experience. Alice is a Windo...
Matthew Conway, Steve Audia, Tommy Burnette, Denni...
ISPD
2000
ACM
145views Hardware» more  ISPD 2000»
15 years 2 months ago
A snap-on placement tool
The standard cell placement problem has been extensively studied in the past twenty years. Many approaches were proposed and proven e ective in practice. However, successful place...
Xiaojian Yang, Maogang Wang, Kenneth Eguro, Majid ...