1261 search results - page 150 / 253 » A Hierarchy of Temporal Properties |
IWDC
2005
Springer
14 years 3 months ago
2005
Springer
Peer-to-peer systems and applications are distributed systems without any centralized control. P2P systems form the basis of several applications, such as file sharing systems and ...
PPPJ
2003
ACM
14 years 3 months ago
2003
ACM
The object-oriented approach to software development facilitates and encourages programming practices that increase reusability, correctness and maintainability in code. This is a...
ASP
2003
Springer
14 years 3 months ago
2003
Springer
Default logic is used to describe regular behavior and normal properties. We suggest to exploit the framework of default logic for detecting outliers - individuals who behave in a...
CODES
2000
IEEE
14 years 2 months ago
2000
IEEE
—Huge new design challenges for system-on-chip (SoC) are the result of decreasing time-to-market coupled with rapidly increasing gate counts and embedded software representing 50...
BIRTHDAY
2003
Springer
14 years 1 months ago
2003
Springer
Aspects are intended to add needed functionality to a system or to treat concerns of the system by augmenting or changing the existing code in a manner that cross-cuts the usual c...