7661 search results - page 1243 / 1533 » Languages and the Computing Profession |
205
Voted
EUSAI
2004
Springer
15 years 11 months ago
2004
Springer
Home networks and the interconnection of home appliances is a classical theme in ubiquitous computing research. Security is a recurring concern, but there is a lack of awareness of...
227
Voted
CONCUR
2006
Springer
15 years 11 months ago
2006
Springer
Event structures have been used for giving true concurrent semantics to languages and models of concurrency such as CCS, Petri nets and graph grammars. Although certain nominal cal...
181
click to vote
DSOM
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Web Services is an XML-based technology that has attracted significant attention for building distributed Internet services. There have also been significant efforts tryi...
187
Voted
EMSOFT
2006
Springer
15 years 11 months ago
2006
Springer
We present a formal approach to implement and certify fault-tolerance in real-time embedded systems. The faultintolerant initial system consists of a set of independent periodic t...
226
click to vote
CCGRID
2001
IEEE
15 years 11 months ago
2001
IEEE
Clusters of workstations are a popular alternative to integrated parallel systems designed and built by a vendor. Besides their huge cumulative processing power, they also provide...