2681 search results - page 151 / 537 » Topics in asynchronous systems |
140
Voted
FM
2003
Springer
15 years 9 months ago
2003
Springer
We present the formal framework for a novel approach for specifying and automatically implementing systems such as digital circuits and network protocols. The goal is to reduce the...
134
click to vote
COLCOM
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract. Traditional workflow enactment systems and workflow design processes view the workflow as a one-time interaction with the various data sources, executing a series of step...
132
Voted
WSC
2004
15 years 6 months ago
2004
Cell-DEVS enables efficient execution of complex cellular models. The goal of Cell-DEVS is to build discrete-event cell spaces, improving their definition by making the timing spe...
151
click to vote
ICRA
2010
IEEE
15 years 3 months ago
2010
IEEE
— For a coexisting and collaborative society that incorporates humans and robots, the detection, tracking, and recognition of human motion are indispensable techniques for a robo...
147
click to vote
ICNSC
2008
IEEE
15 years 11 months ago
2008
IEEE
— A facility location problem deals with locating the best place for a group of facilities, among distinct demand points, minimizing a certain locational optimization function. I...