624 search results - page 118 / 125 » Application of Lightweight Formal Methods to Software Securi... |
164
click to vote
EMSOFT
2010
Springer
15 years 3 months ago
2010
Springer
Constructing correct distributed systems from their high-level models has always been a challenge and often subject to serious errors because of their non-deterministic and non-at...
136
click to vote
IADIS
2003
15 years 6 months ago
2003
The vast majority of IT systems are implemented using a traditional procedural paradigm approach using a suitable procedural language such as COBOL. However, with recent developme...
176
click to vote
OOPSLA
2005
Springer
15 years 10 months ago
2005
Springer
is a simple and elegant abstraction that allows concurrency to be expressed often through a relatively small rewrite of a sequential program. In the absence of side-effects, futur...
164
click to vote
WWW
2005
ACM
16 years 5 months ago
2005
ACM
The demand for quickly delivering new applications is increasingly becoming a business imperative today. Application development is often done in an ad hoc manner, without standar...
120
click to vote
OOPSLA
2005
Springer
15 years 10 months ago
2005
Springer
Over the past decade the sheer size and complexity of traditional operating systems have prompted a wave of new approaches to help alleviate the services provided by these operati...