8587 search results - page 1501 / 1718 » Interactive dynamic abstraction |
112
Voted
IRI
2003
IEEE
15 years 9 months ago
2003
IEEE
The experience of preparing interface design knowledge to be reusable allows reflection on the process, potential, and general challenges of effectively and efficiently using this...
130
Voted
RTCSA
2003
IEEE
15 years 9 months ago
2003
IEEE
Abstract. This paper proposes “Zero-stop Authentication” system, which requires no intentional interactions between users and authentication applications. Our Zero-stop Authent...
149
Voted
RTSS
2003
IEEE
15 years 9 months ago
2003
IEEE
We describe the Timed Input/Output Automata (TIOA) framework, a general mathematical framework for modeling and analyzing real-time systems. It is based on timed I/O automata, whi...
116
Voted
PADS
2003
ACM
15 years 9 months ago
2003
ACM
Packet-level discrete-event network simulators use an event to model the movement of each packet in the network. This results in accurate models, but requires that many events are...
117
Voted
AC
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. We describe InterPlay, a simulation engine coordinator that supports cooperation and interaction of multiple simulation and execution tools, thus helping to scale-up the ...