102291 search results - page 19807 / 20459 » Computing |
174
click to vote
WOLLIC
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We present a modal language that includes explicit operators to count the number of elements that a model might include in the extension of a formula, and we discuss how ...
168
Voted
ACSAC
2002
IEEE
15 years 10 months ago
2002
IEEE
Active Spaces are physical spaces augmented with heterogeneous computing and communication devices along with supporting software infrastructure. This integration facilitates coll...
138
click to vote
ACSAC
2002
IEEE
15 years 10 months ago
2002
IEEE
Safe virtual execution (SVE) allows a host computer system to reduce the risks associated with running untrusted programs. SVE prevents untrusted programs from directly accessing ...
172
click to vote
APSEC
2002
IEEE
15 years 10 months ago
2002
IEEE
We have taught several distributed software engineering project courses with students and real clients [4]. During these projects, students in Pittsburgh and Munich, Germany colla...
150
click to vote
ASAP
2002
IEEE
15 years 10 months ago
2002
IEEE
With the growth of the Internet and mobile communication industry, multimedia applications form a dominant computer workload. Media workloads are typically executed on Application...