Sciweavers

2354 search results - page 63 / 471
» A Common-Sense Theory of Time
Sort
View
HICSS
2005
IEEE
114views Biometrics» more  HICSS 2005»
14 years 1 months ago
Team Pattern Recognition: Sharing Cognitive Chunks Under Time Pressure
This study extends the theory of Recognition Primed Decision-Making by applying it to groups. Furthermore, we explore the application of Template Theory to collaboration. An exper...
Stephen C. Hayne, C. A. P. Smith, Leo R. Vijayasar...
ICFEM
2005
Springer
14 years 1 months ago
Testing Real-Time Multi Input-Output Systems
Abstract. In formal testing, the assumption of input enabling is typically made. This assumption requires all inputs to be enabled anytime. In addition, the useful concept of quies...
Laura Brandán Briones, Ed Brinksma
FOSSACS
2004
Springer
14 years 1 months ago
Bisimulation on Speed: Lower Time Bounds
More than a decade ago, Moller and Tofts published their seminal work on relating processes that are annotated with lower time bounds, with respect to speed. Their paper has left o...
Gerald Lüttgen, Walter Vogler
APN
2008
Springer
13 years 10 months ago
HYPENS: A Matlab Tool for Timed Discrete, Continuous and Hybrid Petri Nets
HYPENS is an open source tool to simulate timed discrete, continuous and hybrid Petri nets. It has been developed in Matlab to allow designer and user to take advantage of several...
Fausto Sessego, Alessandro Giua, Carla Seatzu
WSC
2001
13 years 9 months ago
Using quantile estimates in simulating internet queues with Pareto service times
It is readily apparent how important the Internet is to modern life. The exponential growth in its use requires good tools for analyzing congestion. Much has been written recently...
Martin J. Fischer, Denise M. Bevilacqua Masi, Dona...