Sciweavers

8086 search results - page 1182 / 1618
» On the Implementation of Dynamic Patterns
Sort
View
ISSTA
2009
ACM
15 years 11 months ago
Run-time conformance checking of mobile and distributed systems using executable models
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
Ahmad A. Saifan, Ernesto Posse, Jürgen Dingel
FPL
2001
Springer
102views Hardware» more  FPL 2001»
15 years 11 months ago
Technology Trends and Adaptive Computing
System and processor architectures depend on changes in technology. Looking ahead as die density and speed increase, power consumption and on chip interconnection delay become incr...
Michael J. Flynn, Albert A. Liddicoat
WOMPAT
2001
Springer
15 years 11 months ago
OmniRPC: A Grid RPC Facility for Cluster and Global Computing in OpenMP
d Abstract) Mitsuhisa Sato1 , Motonari Hirano2 , Yoshio Tanaka2 , and Satoshi Sekiguchi2 1 Real World Computing Partnership, Tsukuba, Japan 2 Software Research Associates, Inc 3 El...
Mitsuhisa Sato, Motonori Hirano, Yoshio Tanaka, Sa...
ACSAC
2000
IEEE
15 years 11 months ago
Virtual Enterprise Networks: The Next Generation of Secure Enterprise Networking
We present a vision of computing environments in which enterprise networks are built using untrusted public infrastructures. The vision allows for networks to dynamically change d...
Germano Caronni, S. Kumar, Christoph L. Schuba, Gl...
INFOCOM
2000
IEEE
15 years 11 months ago
Management of Advanced Services in H.323 Internet Protocol Telephony
The Intelligent Network (IN) represents the world wide accepted basis for uniform provisioning of advanced telecom services. On the other hand IP based communication is fast becomi...
Bernard Pagurek, Jinrong Tang, Tony White, Roch H....
« Prev « First page 1182 / 1618 Last » Next »