4722 search results - page 513 / 945 » Encoding Program Executions |
125
click to vote
SEMCO
2007
IEEE
15 years 11 months ago
2007
IEEE
We describe StartMobile, a prototype system that enables users of cellular telephones and other mobile devices to access information, create information and execute commands on th...
126
click to vote
GEOS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. A workflow-driven ontology is an ontology that encodes disciplinespecific knowledge in the form of concepts and relationships and that facilitates the composition of serv...
119
click to vote
TACAS
2007
Springer
15 years 11 months ago
2007
Springer
For specifying and verifying branching-time requirements, a reactive system is traditionally modeled as a labeled tree, where a path in the tree encodes a possible execution of the...
133
click to vote
DSN
2006
IEEE
15 years 11 months ago
2006
IEEE
Protecting the register value and its data buses is crucial to reliable computing in high-performance microprocessors due to the increasing susceptibility of CMOS circuitry to sof...
127
click to vote
ACMACE
2005
ACM
15 years 10 months ago
2005
ACM
In conventional, visual narrative media such as film, the placement and movement of the camera can be as important a device as the events of the narrative in conveying story and m...