2782 search results - page 336 / 557 » Issues in holistic system design |
174
click to vote
ECOOPW
1999
Springer
15 years 11 months ago
1999
Springer
The desire for exible networking services has given rise to the concept of active networks." Active networks provide a general framework for designing and implementing network...
151
click to vote
FMSD
2002
15 years 6 months ago
2002
Object-based sequential programming has had a major impact on software engineering. However, object-based concurrent programming remains elusive as an effective programming tool. T...
185
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— This work addresses the task of designing the optimal survey route that an autonomous underwater vehicle (AUV) should take in mine countermeasures (MCM) operations. It is assum...
185
click to vote
CSCW
2012
ACM
14 years 2 months ago
2012
ACM
In this article we describe a novel approach to collaborative video authoring using handheld projectors. PicoTales are created by sketching story elements on a projector+phone pro...
127
click to vote
DATE
2007
IEEE
16 years 29 days ago
2007
IEEE
Formal verification is an important issue in circuit and system design. In this context, Bounded Model Checking (BMC) is one of the most successful techniques. But even if all sp...