11016 search results - page 682 / 2204 » Cloud Computing for Science |
234
click to vote
DSS
2002
15 years 7 months ago
2002
Recent research has sought to develop formal languages for business communication as more expressive, flexible and powerful alternatives to current electronic data interchange (ED...
189
click to vote
MICCAI
2003
Springer
16 years 8 months ago
2003
Springer
A general-purpose augmented reality apparatus was developed. The system uses rapidly scanned lasers to display information directly onto the patient using the patient as a ``proje...
195
click to vote
HICSS
2009
IEEE
16 years 2 months ago
2009
IEEE
The craft of software understanding and verification can benefit from technologies that enable evolution toward a true engineering discipline. In current practice, software develo...
160
Voted
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
—One-counter processes are pushdown systems over a singleton stack alphabet (plus a stack-bottom symbol). We study the complexity of two closely related verification problems ov...
182
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
In any forensic investigation, planning and analysis activities are required in order to determine what digital media will be seized, what types of information will be sought in t...