2542 search results - page 49 / 509 » An Operational Definition of Context |
99
Voted
IFL
2003
Springer
15 years 5 months ago
2003
Springer
Construction of complex array operations by composition of more basic ones allows for abstract and concise specifications of algorithms. Unfortunately, na¨ıve compilation of suc...
81
Voted
COORDINATION
2010
Springer
15 years 22 days ago
2010
Springer
In the context of service-oriented computing, behavioural contracts are descriptions of the message-passing behaviour of services. They can be used to check properties of service c...
105
click to vote
SEFM
2009
IEEE
15 years 7 months ago
2009
IEEE
—In the modern car, electronic devices are even employed for safety-critical missions like brake control, where failures might cost human lives. Among various approaches to incre...
78
Voted
SIGSOFT
2001
ACM
16 years 1 months ago
2001
ACM
Layered architecture in operating system code is often compromised by execution path-specific customizations such as prefetching, page replacement and scheduling strategies. Paths...
110
Voted
FSE
2003
Springer
15 years 5 months ago
2003
Springer
In this paper, we investigate the security, in the Luby-Rackoff security paradigm, of blockcipher modes of operation allowing to expand a one-block input into a longer t-block ou...