23098 search results - page 4188 / 4620 » Component Based Development |
191
Voted
TPHOL
2005
IEEE
16 years 12 days ago
2005
IEEE
We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...
185
click to vote
WORDS
2005
IEEE
16 years 12 days ago
2005
IEEE
Depending on the physical structuring of large distributed safety-critical real-time systems, one can distinguish federated and integrated system architectures. This paper investi...
170
click to vote
KCAP
2005
ACM
16 years 12 days ago
2005
ACM
The Designers’ Workbench is a system, developed by the Advanced Knowledge Technologies (AKT) consortium to support designers in large organizations, such as RollsRoyce, by makin...
172
click to vote
SAC
2005
ACM
16 years 12 days ago
2005
ACM
The tuple space model inspired by Linda has recently been rediscovered by distributed middleware. Moreover, some researchers also applied it in the challenging scenarios involving...
193
click to vote
SENSYS
2005
ACM
16 years 12 days ago
2005
ACM
Sensor networks have the potential to greatly impact many aspects of medical care. By outfitting patients with wireless, wearable vital sign sensors, collecting detailed real-tim...