464 search results - page 93 / 93 » Teaching an engineering approach for network computing |
FOSSACS
2005
Springer
13 years 11 months ago
2005
Springer
We study the concept of choice for true concurrency models such as prime event structures and safe Petri nets. We propose a dynamic variation of the notion of cluster previously in...
EMSOFT
2003
Springer
13 years 10 months ago
2003
Springer
We present a formalism for specifying component interfaces that expose component requirements on limited resources. The formalism permits an algorithmic check if two or more compon...
PPPJ
2009
ACM
13 years 10 months ago
2009
ACM
The usage of cellular phones, PDAs, and other mobile devices has increased dramatically over the past ten years. Java is targeted to be one of the most popular execution environme...
EUROSYS
2008
ACM
14 years 2 months ago
2008
ACM
Despite the many solutions proposed by industry and the research community to address phishing attacks, this problem continues to cause enormous damage. Because of our inability t...