2838 search results - page 378 / 568 » Verifying Controlled Components |
98
Voted
SIGGRAPH
1991
ACM
15 years 4 months ago
1991
ACM
A major problem challenging opera designers is the inability to coordinate lighting, projection systems, and set designs in the preliminary planning phase. New computer graphics t...
64
Voted
LREC
2010
15 years 2 months ago
2010
The process engine for pattern recognition and information fusion tasks, the pepr framework, aims to empower the researcher to develop novel solutions in the field of pattern reco...
IC
2007
15 years 2 months ago
2007
—With the advent of the Internet, we have entered the age of ubiquitous systems that will need to be able to communicate, establish criteria for measurement and then perform thes...
93
Voted
DAGSTUHL
2003
15 years 2 months ago
2003
Individual functional requirements represent fragments of behavior, while a design that satisfies a set of functional requirements represents integrated behavior. This perspective ...
133
click to vote
PDPTA
2004
15 years 2 months ago
2004
Grid computing and cluster computing platforms are becoming the primary development platforms for pervasive computing. The primary problem associated with both computational grids...