10707 search results - page 330 / 2142 » Designing executable abstractions |
135
click to vote
SEMWEB
2004
Springer
15 years 10 months ago
2004
Springer
Abstract— Business processes involve interactions among autonomous partners. We propose that these interactions be specified modularly as protocols. Protocols can be published, ...
118
Voted
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
— We extend techniques for a reachability-based ion to continuous systems under shared control, that is, systems which have both inputs controlled by the automation and inputs co...
ICRA
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract—In this paper, we investigate design and performance of a flapping mechanism which generates flapping motion through resonant excitation similar to flight apparatus o...
138
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents an effective approach to formally verify SystemC designs. The approach translates SystemC models into a Petri-Net based representation. The Petri-net model is ...
114
click to vote
ISQED
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract - This paper studies design considerations for lowpower ultra wideband (UWB) receiver architectures. First, three different architectures for the impulse-radio UWB transce...