ICECCS
2007
IEEE
13 years 11 months ago
2007
IEEE
Semantic Web Services, one of the most significant research areas within the Semantic Web vision, has attracted increasing attention from both the research community and industry...
ICECCS
2007
IEEE
13 years 11 months ago
2007
IEEE
Identifying and resolving design problems in the early design phase can help ensure software quality and save costs. There are currently few tools for analyzing designs expressed ...
ICECCS
2007
IEEE
13 years 11 months ago
2007
IEEE
ICECCS
2007
IEEE
13 years 11 months ago
2007
IEEE
This paper explains
ICECCS
2007
IEEE
13 years 11 months ago
2007
IEEE
— Modern online multiplayer games are complex heterogeneous distributed systems comprised of servers and untrusted clients, which are often engineered under considerable commerci...
ICECCS
2007
IEEE
13 years 11 months ago
2007
IEEE
In this extended abstract we summarize our consulting work, scientific research, and activism in the topic of electronic (computer-based) voting. The Dutch and Irish government...
ICECCS
2007
IEEE
13 years 11 months ago
2007
IEEE
In this paper, we present an evaluation of the AADL Behavioural Annex that is currently in evaluation phase. We relate our experiment with respect to a development concerning the ...
ICECCS
2007
IEEE
13 years 11 months ago
2007
IEEE
Abstract—Plugin-based application design has become increasingly popular in recent years, and has contributed to the success of a range of very different applications including ...
ICECCS
2007
IEEE
13 years 11 months ago
2007
IEEE
We present first steps in the construction of formal models of NAND Flash memory, based on a recently emerged open standard for such devices. The model is at a level of abstracti...
ICECCS
2007
IEEE
13 years 11 months ago
2007
IEEE
In this paper we summarize parallel algorithms for enumerative model checking of properties formulated in linear time temporal logic (LTL) as well as a fragment of the µcalculus ...