592 search results - page 49 / 119 » Can Component Service-Based Systems Be Proved Correct |
139
Voted
ECRTS
2005
IEEE
15 years 9 months ago
2005
IEEE
Embedded systems are usually an integral component of a larger system and are used to control and/or directly monitor this system by using special hardware devices. The complexity...
152
Voted
EUROCRYPT
2011
Springer
14 years 6 months ago
2011
Springer
We propose a Multi-Authority Attribute-Based Encryption (ABE) system. In our system, any party can become an authority and there is no requirement for any global coordination othe...
121
click to vote
AAAI
2006
15 years 4 months ago
2006
Unmotivated students do not reap the full rewards of using a computer-based intelligent tutoring system. Detection of improper behavior is thus an important component of an online...
ICDCS
2009
IEEE
16 years 17 days ago
2009
IEEE
Providing distributed processes with concurrent objects is a fundamental service that has to be offered by any distributed system. The classical shared read/write register is one ...
131
click to vote
AGTIVE
2007
Springer
15 years 9 months ago
2007
Springer
In this paper, we will define a custom term-graph reduction system for a simplified lazy functional language. Our custom system is geared towards flexibility, which is accomplis...