22114 search results - page 4195 / 4423 » Use of Models and Modelling Techniques for Service Developme... |
180
click to vote
ECOOP
1995
Springer
15 years 10 months ago
1995
Springer
Abstract. This paper presents a framework of specification and verification for distributed real-time object-oriented systems. An earlier paper [17] introduced a process calculus...
175
click to vote
ICRA
1995
IEEE
15 years 10 months ago
1995
IEEE
—Learning control is a concept for controlling dynamic systems in an iterative manner. It arises from the recognition that robotic manipulators are usually used to perform repeti...
150
click to vote
SDB
1995
15 years 10 months ago
1995
Database transformations arise in many di erent settings including database integration, evolution of database systems, and implementing user views and data-entry tools. This paper...
193
click to vote
EDBT
2010
ACM
15 years 10 months ago
2010
ACM
This paper develops toolsets for eliminating algorithm-based disclosure from existing privacy-preserving data publishing algorithms. We first show that the space of algorithm-base...
173
click to vote
EWSN
2010
Springer
15 years 10 months ago
2010
Springer
On a common sensor node platform (Telos) we sample RSSI with high frequency during packet reception. We find that a packet collision (RF interference) often manifests as a measurab...