1459 search results - page 126 / 292 » Tool Supported Development of Service-Based Systems |
150
click to vote
DBSEC
2009
15 years 4 months ago
2009
Abstract. Identifying and protecting the trusted computing base (TCB) of a system is an important task, which is typically performed by designing and enforcing a system security po...
152
click to vote
HAPTICS
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper describes the development of haptic paddle laboratory kits and associated National Instruments LabVIEW virtual instrumentation to support the adaptation of laboratory e...
122
click to vote
ICCS
2004
Springer
15 years 9 months ago
2004
Springer
The DisCAS system employs and interacts with multiple ELIMINOs distributed over the Internet to achieve a distributed-parallel computing environment. ELIMINO is a computer algebra ...
159
click to vote
APN
2000
Springer
15 years 7 months ago
2000
Springer
Many techniques for the verification of reactive systems rely on the analysis of their reachable state spaces. In this paper, a new algorithm for the symbolic generation of the sta...
144
click to vote
IV
2005
IEEE
15 years 9 months ago
2005
IEEE
An approach of employing Information Visualisation to develop systems that facilitate instructors in web-based distance learning is presented here. The paper describes a tool, cal...