7109 search results - page 265 / 1422 » Process Algebra with Combinators |
170
click to vote
ISSRE
2003
IEEE
15 years 9 months ago
2003
IEEE
Software development project employs some Quality Control (QC) process to detect and remove defects. The final quality of the delivered software depends on the effort spent on al...
165
click to vote
CODES
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper we present a method to perform static timing analysis of SystemC models, that describe parallel, communicating software processes.The paper combines a worstcase exec...
159
click to vote
ICDCS
1999
IEEE
15 years 8 months ago
1999
IEEE
Recently, push-based delivery has attracted considerable attention as a means of disseminating information to large client populations in both wired and wireless settings. In this...
130
click to vote
FGR
1996
IEEE
15 years 8 months ago
1996
IEEE
In Computer Mediated Communication such as desktop video conferencing, static video cameras provide a restricted field of view of remote sites. The effective field of view can be ...
131
Voted
IFIP
1994
Springer
15 years 8 months ago
1994
Springer
In recent years, systems for processing environmental information have been evolving from research and development systems to practical applications. Today, many of these systems ...