1141 search results - page 200 / 229 » From Rigorous Requirements Engineering to Formal System Desi... |
194
click to vote
COMPSAC
2010
IEEE
15 years 4 months ago
2010
IEEE
The advent of emerging technologies such as Web services, service-oriented architecture, and cloud computing has enabled us to perform business services more efficiently and effect...
177
click to vote
CODES
2008
IEEE
16 years 18 days ago
2008
IEEE
The heterogeneity of modern MPSoC architectures, coupled with the increasing complexity of the applications mapped onto them has recently led to a lot of interest in hybrid perfor...
168
Voted
ICAIL
2003
ACM
15 years 11 months ago
2003
ACM
This paper proposes a logic-oriented framework for institutional agents specification and analysis. Within this framework institutional agents are seen as artificial agents that a...
168
click to vote
EUROSYS
2007
ACM
16 years 3 months ago
2007
ACM
Failure detectors are fundamental building blocks in distributed systems. Multi-node failure detectors, where the detector is tasked with monitoring N other nodes, play a critical...
156
click to vote
EUROSYS
2008
ACM
16 years 3 months ago
2008
ACM
Causal request traces are valuable to developers of large concurrent and distributed applications, yet difficult to obtain. Traces show how a request is processed, and can be anal...