4151 search results - page 657 / 831 » Language Driven System Design |
114
Voted
CASCON
2007
15 years 4 months ago
2007
For a system of distributed processes, correctness can be ensured by (statically) checking whether their composition satisfies properties of interest. In contrast, Web services a...
125
Voted
AAAI
2004
15 years 4 months ago
2004
Abstract. Personal assistant agents have long promised to automate routine everyday tasks in order to reduce the cognitive load on humans. One such routine task is the management o...
134
Voted
CGA
2008
15 years 2 months ago
2008
We present the design, implementation, and initial results of a system for remote lecture attendance based on extending on-campus classrooms to accommodate remotely located studen...
162
Voted
ANSOFT
2002
15 years 2 months ago
2002
Web applications can be classified as hybrids between hypermedia and information systems. They have a relatively simple distributed architecture from the user viewpoint, but a comp...
151
click to vote
KBSE
2010
IEEE
15 years 1 months ago
2010
IEEE
Named constants are used heavily in operating systems code, both as internal flags and in interactions with devices. Decision making within an operating system thus critically de...