Sciweavers

8228 search results - page 1210 / 1646
» Structural Logical Relations
Sort
View
EWSA
2004
Springer
16 years 7 days ago
Model Checking for Software Architectures
Abstract. Software architectures are engineering artifacts which provide high-level descriptions of complex systems. Certain recent architecture description languages (Adls) allow ...
Radu Mateescu
GI
2004
Springer
16 years 7 days ago
Tuplespace-Based Collaboration for Bluetooth-Enabled Devices in Smart Environments
: Smart environments are often populated by resource-restricted devices that need to cooperate with each other in order to access remote sensors and benefit from other devices’ ...
Frank Siegemund, Pascal Keller
158
Voted
SFM
2004
Springer
118views Formal Methods» more  SFM 2004»
16 years 6 days ago
On the Semantic Foundations of Standard UML 2.0
This paper provides an overview of the foundations of the run-time semantics underlying the Unified Modeling Language as defined in revision 2.0 of the official OMG standard. One o...
Bran Selic
SSPR
2004
Springer
16 years 6 days ago
Kernel Methods for Exploratory Pattern Analysis: A Demonstration on Text Data
Kernel Methods are a class of algorithms for pattern analysis with a number of convenient features. They can deal in a uniform way with a multitude of data types and can be used to...
Tijl De Bie, Nello Cristianini
165
Voted
VLDB
2004
ACM
100views Database» more  VLDB 2004»
16 years 6 days ago
Online Balancing of Range-Partitioned Data with Applications to Peer-to-Peer Systems
We consider the problem of horizontally partitioning a dynamic relation across a large number of disks/nodes by the use of range partitioning. Such partitioning is often desirable...
Prasanna Ganesan, Mayank Bawa, Hector Garcia-Molin...
« Prev « First page 1210 / 1646 Last » Next »