1527 search results - page 251 / 306 » From Requirements to Design: Formalizing the Key Steps |
PLDI
1997
ACM
14 years 1 months ago
1997
ACM
A major research goal for compilers and environments is the automatic derivation of tools from formal specifications. However, the formal model of the language is often inadequat...
ICDCS
1995
IEEE
14 years 17 days ago
1995
IEEE
nt formal speci cations of a new abstraction, weak sets, which can be used to alleviate high latencies when retrieving data from a wide-area information system like the World Wide...
SSR
2001
13 years 10 months ago
2001
As wide-area open networks like the Internet and intranets grow larger, mobile agent technology is attracting more attention. Mobile agents are units of software that can deal wit...
DIMVA
2009
13 years 10 months ago
2009
The use of dynamic access control policies for threat response adapts local response decisions to high level system constraints. However, security policies are often carefully tigh...
SOSP
2003
ACM
14 years 5 months ago
2003
ACM
Despite decades of research in extensible operating system technology, extensions such as device drivers remain a significant cause of system failures. In Windows XP, for example,...