12438 search results - page 179 / 2488 » The Magic of a Number System |
106
click to vote
FPL
2003
Springer
15 years 9 months ago
2003
Springer
This paper describes methods and tools that have been used for teaching disciplines dedicated to the design of reconfigurable digital systems. It demonstrates students' projec...
116
click to vote
ACSAC
2000
IEEE
15 years 8 months ago
2000
IEEE
The paper describes the design and implementation of a security architecture for a Cooperative Information System implemented with CORBA technologies. We first define a role-based...
125
click to vote
ACSD
2006
IEEE
15 years 7 months ago
2006
IEEE
Dynamic communication systems (DCS) are complex because of their unboundedness in several dimensions. They have an unbounded and changing number of objects, a dynamically changing...
133
click to vote
HYBRID
1995
Springer
15 years 7 months ago
1995
Springer
Uppaal is a new tool suit for automatic veri cation of networks of timed automata. In this paper we describe the diagnostic model-checking feature of Uppaal and illustrates its use...
131
click to vote
IMSA
2001
15 years 5 months ago
2001
This paper analyses the requirements of a third-generation technology integrated learning environment. The architecture proposed is analysed in terms of the generic constraints of...