4434 search results - page 569 / 887 » On the Composition of Hybrid Systems |
225
click to vote
TGC
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. In the age of the world-wide web and mobile computing, programming communication-centric software is essential. Thus, programmers and program designers are exposed to new...
148
click to vote
MM
2004
ACM
16 years 6 days ago
2004
ACM
Shibboleth is a multimedia artwork that explores the cultural barriers created and enforced by accent and pronunciation differences. It is founded on the idea of biblical origin ...
180
click to vote
APN
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Behaviour specification in object-oriented design clearly benefits from the use of a formal, or semi-formal, visual specification language. This is attested by the ado...
214
click to vote
FASE
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
159
click to vote
LCN
2003
IEEE
16 years 1 days ago
2003
IEEE
In active and programmable networks, packet processing could be accomplished in the router within the data path. For efficient resource allocation in such networks, the packet sch...