10707 search results - page 330 / 2142 » Designing executable abstractions |
159
click to vote
SEMWEB
2004
Springer
16 years 1 days 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, ...
145
click to vote
CDC
2009
IEEE
15 years 11 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...
114
click to vote
ICRA
2007
IEEE
16 years 1 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...
170
click to vote
DATE
2006
IEEE
16 years 22 days 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 ...
141
Voted
ISQED
2005
IEEE
16 years 8 days 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...