Sciweavers

1941 search results - page 276 / 389
» The architecture design of a cross-domain context management...
Sort
View
108
Voted
TAICPART
2006
IEEE
131views Education» more  TAICPART 2006»
15 years 7 months ago
Bogor: A Flexible Framework for Creating Software Model Checkers
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
Robby, Matthew B. Dwyer, John Hatcliff
IEEEARES
2006
IEEE
15 years 7 months ago
Modeling permissions in a (U/X)ML world
— Service Oriented Architectures with underlying technologies like web services and web services orchestration have opened the door to a wide range of novel application scenarios...
Muhammad Alam, Ruth Breu, Michael Hafner
IDA
1999
Springer
15 years 5 months ago
Knowledge-Based Visualization to Support Spatial Data Mining
Data mining methods are designed for revealing significant relationships and regularities in data collections. Regarding spatially referenced data, analysis by means of data minin...
Gennady L. Andrienko, Natalia V. Andrienko
SIGMOD
2008
ACM
154views Database» more  SIGMOD 2008»
16 years 1 months ago
SEMMO: a scalable engine for massively multiplayer online games
We propose to demonstrate SEMMO, a consistency server for MMOs. The key features of SEMMO are its novel distributed consistency protocol and system architecture. The distributed n...
Nitin Gupta 0003, Alan J. Demers, Johannes Gehrke
CN
1999
107views more  CN 1999»
15 years 1 months ago
Programmable mobile networks
We present the design, implementation and evaluation of an open programmable mobile network based on distributed object technology called mobiware that dynamically exploits the in...
Andrew T. Campbell, Michael E. Kounavis, Raymond R...