Sciweavers

1215 search results - page 169 / 243
» Testing in the Distributed Test Architecture: An Extended Ab...
Sort
View
SEMWEB
2009
Springer
14 years 1 months ago
Reasoning about Resources and Hierarchical Tasks Using OWL and SWRL
Abstract. Military training and testing events are highly complex affairs, potentially involving dozens of legacy systems that need to interoperate in a meaningful way. There are s...
Daniel Elenius, David Martin, Reginald Ford, Grit ...
ECSCW
2007
13 years 10 months ago
Behaviours and Preferences when Coordinating Mediated Interruptions: Social and System influence
Abstract. There is a growing interest in technologies for supporting individuals to manage their accessibility for interruptions. The applicability of these technologies is likely ...
Natalia A. Romero, Agnieszka Matysiak Szóst...
DSONLINE
2006
108views more  DSONLINE 2006»
13 years 8 months ago
Middleware for Protocol-Based Coordination in Mobile Applications
We propose extending these middleware approaches with suitable abstractions to better support protocolbased interaction in mobile applications. To test our approach, we created Obj...
Kurt Schelfthout, Danny Weyns, Tom Holvoet
CONCUR
2000
Springer
14 years 12 days ago
Reachability Analysis for Some Models of Infinite-State Transition Systems
We introduce some new models of infinite-state transition systems. The basic model, called a (reversal-bounded) counter machine (CM), is a nondeterministic finite automaton augment...
Oscar H. Ibarra, Tevfik Bultan, Jianwen Su
IJNSEC
2008
96views more  IJNSEC 2008»
13 years 8 months ago
Eliminating Quadratic Slowdown in Two-Prime RSA Function Sharing
The nature of the RSA public modulus N as a composite of at least two secret large primes was always considered as a major obstacle facing the RSA function sharing without the hel...
Maged Hamada Ibrahim