4109 search results - page 593 / 822 » Issues in Design and Implementation of Multimedia Software S... |
132
Voted
AUIC
2004
IEEE
15 years 10 months ago
2004
IEEE
Ubiquitous workspaces are future media-rich environments that employ new forms of operating systems and services to coordinate and manage interactions between people, multiple dis...
148
Voted
CSMR
2004
IEEE
15 years 10 months ago
2004
IEEE
A Web site is a hyperlinked network environment, which consists of hundreds of inter-connected pages, usually without an engineered architecture. This is often a large, complex We...
138
Voted
FMCAD
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...
181
Voted
FSTTCS
2000
Springer
15 years 9 months ago
2000
Springer
We propose an object-oriented calculus with internal concurrency and class-based inheritance that is built upon the join calculus. Method calls, locks, and states are handled in a...
196
Voted
KBS
2006
2006
Facilitating formal specification acquisition by using recursive functions on context-free languages
15 years 6 months ago
Although formal specification techniques are very useful in software development, the acquisition of formal specification is a difficult task. This paper presents the formal softw...