5630 search results - page 115 / 1126 » Computability in Specification |
134
Voted
AMAST
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Symmetry reduced model checking is hindered by two problems: how to identify state space symmetry when systems are not fully symmetric, and how to determine equivalence o...
131
Voted
ICIP
2007
IEEE
16 years 5 months ago
2007
IEEE
Discrimination of computer generated images from real images is becoming more and more important. In this paper, we propose the use of new features to distinguish computer generat...
121
click to vote
HICSS
2009
IEEE
15 years 11 months ago
2009
IEEE
In the current state of practice, security properties of software systems are typically assessed through subjective, labor-intensive human evaluation. Moreover, much of the quanti...
125
click to vote
DEXAW
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper describes two self-optimisation techniques that have been employed in the design of two exemplar agent-based mobile computing systems, namely Gullivers Genie and the Ag...
116
click to vote
HPDC
1999
IEEE
15 years 8 months ago
1999
IEEE
RSD (Resource and Service Description) is a software architecture for specifying, registering and accessing resources and services in complex heterogeneous computing environments....