2838 search results - page 174 / 568 » Verifying Controlled Components |
MM
2003
ACM
14 years 3 months ago
2003
ACM
JPEG2000 is an emerging standard for still image compression and is becoming the solution of choice for many digital imaging fields and applications. An important aspect of JPEG2...
ICSE
2001
IEEE-ACM
14 years 3 months ago
2001
IEEE-ACM
The paper addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. The complex sequences of visual events and action...
WISE
2000
Springer
14 years 3 months ago
2000
Springer
In this work we discuss a service that aims to make quoting of online documents, „web contents“ easy and provable. For that reason we report the conception of a gateway that w...
FDL
2004
IEEE
14 years 2 months ago
2004
IEEE
Model-driven approaches proved themselves not suited yet to support real-time software development. Even if they have the ability of capturing adequately both functional and non-f...
USS
2008
14 years 29 days ago
2008
Generation of random numbers is a critical component of existing post-election auditing techniques. Recent work has largely discouraged the use of all pseudorandom number generato...