159 search results - page 3 / 32 » Living with the abstract: realism and models |
CISIS
2010
IEEE
13 years 6 months ago
2010
IEEE
The new generation of open networked IT systems poses particular challenges to software engineering due to their evolving nature and their high quality requirements. In particular...
ISOLA
2010
Springer
13 years 5 months ago
2010
Springer
Latest results of statistical learning theory have provided techniques such us pattern analysis and relational learning, which help in modeling system behavior, e.g. the semantics ...
HICSS
2003
IEEE
14 years 22 days ago
2003
IEEE
P2P applications have found a lot of interest lately but there are open questions about the viability of the revenue models behind P2P applications/ services. In this paper, we di...
CONCUR
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. For many cryptographic protocols, security relies on the assumption that adversarial entities have limited computational power. This type of security degrades progressive...
CEC
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract— Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most o...