3130 search results - page 557 / 626 » Design Correctness of Digital Systems |
ATAL
2009
Springer
14 years 2 months ago
2009
Springer
Several agent-oriented software engineering methodologies address the emerging challenges posed by the increasing need of adaptive software. A common denominator of such methodolo...
RECSYS
2009
ACM
14 years 2 months ago
2009
ACM
Conversation double pivots recommend target items related to a source item, based on co-mentions of source and target items in online forums. We deployed several variants on the d...
ACSAC
2006
IEEE
14 years 1 months ago
2006
IEEE
Comparing the system call sequence of a network application against a sandboxing policy is a popular approach to detecting control-hijacking attack, in which the attacker exploits...
BIRTHDAY
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. A long-running transaction is an interactive component of a distributed system which must be executed as if it were a single atomic action. In principle, it should not be...
CAISE
2001
Springer
14 years 6 days ago
2001
Springer
Business processes play a central role in the reorganization of a company and the (re)design of the respective information system(s). Typically the processes are described with the...