3677 search results - page 493 / 736 » An Architecture for Developing Context-Aware Systems |
200
click to vote
TAICPART
2006
IEEE
16 years 1 months ago
2006
IEEE
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...
175
click to vote
APSEC
2005
IEEE
16 years 26 days ago
2005
IEEE
In component-based software development, it is important to ensure interoperability between components based on their unambiguous semantic descriptions, in order to obtain a viabl...
208
click to vote
ERLANG
2004
ACM
16 years 20 days ago
2004
ACM
Erlang is a concurrent functional language designed for developing large-scale, distributed, fault-tolerant systems. The primary implementation of the language is the Erlang/OTP s...
190
click to vote
HICSS
2003
IEEE
16 years 16 days ago
2003
IEEE
Abstract—Current techniques towards information security have limited capabilities to detect and counter attacks that involve different kinds of masquerade and spread of misinfor...
169
click to vote
AOSD
2003
ACM
16 years 15 days ago
2003
ACM
Persistence - the storage and retrieval of application data from secondary storage media - is often used as a classical example of a crosscutting concern. It is widely assumed tha...