4772 search results - page 926 / 955 » An approach to interface synthesis |
ACSAC
2002
IEEE
14 years 11 days ago
2002
IEEE
When admitting electronic media as a means for citizens to approach public authorities – i.e., when advancing official proceedings towards e-Government – security is an indisp...
BICOB
2010
Springer
14 years 6 days ago
2010
Springer
We present a grid-enabled problem solving environment (PSE), for multidimensional QTL analysis. The concept of a computational grid has not been fully realized within this and oth...
BIRTHDAY
2010
Springer
14 years 6 days ago
2010
Springer
Egon Börger Ambient Abstract State Machines with Applications 11:00 AM Manfred Broy Realizability of System Interface Specifications 11:30 AM Ofer Strichman Proving Equivalence be...
GROUP
2009
ACM
14 years 2 days ago
2009
ACM
As people collect more and more digital music, photos, and video, the growing scale of the collection challenges how families share and collaborate around home media collections. ...
IBPRIA
2009
Springer
14 years 10 hour ago
2009
Springer
In this paper we argue that maximum expected utility is a suitable framework for modeling a broad range of decision problems arising in pattern recognition and related fields. Exa...