7623 search results - page 959 / 1525 » Constructive Volume Modeling |
177
click to vote
EMSOFT
2003
Springer
16 years 9 days ago
2003
Springer
Abstract. Event correlation is a service provided by middleware platforms that allows components in a publish/subscribe architecture to subscribe to patterns of events rather than ...
199
click to vote
ER
2003
Springer
16 years 9 days ago
2003
Springer
The integration of heterogeneous legacy databases requires understanding of database structure and content. We previously developed a theoretical and software infrastructure to sup...
190
click to vote
DANCE
2002
IEEE
16 years 1 days ago
2002
IEEE
In this paper we define and provide a general construction for a class of policies we call dynamic policies. In most existing systems, policies are implemented and enforced by ch...
189
click to vote
HICSS
2002
IEEE
16 years 1 days ago
2002
IEEE
What do young people want from information and communication technology? Why do they adopt some technologies but reject others? What roles do mobile technologies play in their liv...
222
click to vote
LICS
2002
IEEE
16 years 6 hour ago
2002
IEEE
Proof-Carrying Code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are usually written in a logic extended with language...