3130 search results - page 557 / 626 » Design Correctness of Digital Systems |
169
click to vote
ATAL
2009
Springer
16 years 26 days 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...
158
click to vote
RECSYS
2009
ACM
16 years 24 days 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...
164
click to vote
ACSAC
2006
IEEE
16 years 11 days 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...
189
click to vote
BIRTHDAY
2004
Springer
15 years 11 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...
171
click to vote
CAISE
2001
Springer
15 years 10 months 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...