4360 search results - page 762 / 872 » Socio-technical systems: From design methods to systems engi... |
101
click to vote
DBPL
1993
Springer
15 years 4 months ago
1993
Springer
This paper presents database applications of the recently proposed Transaction Logic—an extension of classical predicate logic that accounts in a clean and declarative fashion f...
110
click to vote
BMVC
2001
15 years 3 months ago
2001
The ability to construct CAD or other object models from edge and range data has a fundamental meaning in building a recognition and positioning system. While the problem of model...
99
Voted
WSC
1997
15 years 2 months ago
1997
We describe our experiences designing and implementing a virtual PNNI network testbed. The network elements and signaling protocols modeled are consistent with the ATM Forum PNNI ...
115
click to vote
WSC
1994
15 years 2 months ago
1994
Stroboscope is a programming language designed for the simulation of processes common to construction engineering. These processes are very complex and involve many different type...
155
Voted
ICECCS
2010
IEEE
15 years 27 days ago
2010
IEEE
Abstract—Cheddar is a framework dedicated to the specification of real-time schedulers, and to their analysis by simulation. It is developed in Ada. Some parts of its modular ar...