655 search results - page 30 / 131 » Coinduction in Concurrent Timed Systems |
SOFSEM
2007
Springer
15 years 4 months ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
110
click to vote
CCECE
2006
IEEE
15 years 4 months ago
2006
IEEE
Real Time embedded system designers are facing extreme challenges in underlying architectural design selection. It involves the selection of a programmable, concurrent, heterogene...
ICNS
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract— In this paper we propose a novel method for associating Wireless Mobile Nodes (WMNs) to Access Points (APs) in busy Wireless access networks. The proposed method associ...
CORR
2008
Springer
14 years 10 months ago
2008
Springer
system during a single processor cycle. But we can abstract out properties of the sequences and focus on the properties of interest. The "specifications" given here are i...
101
click to vote
ERLANG
2003
ACM
15 years 3 months ago
2003
ACM
In this paper, some experiences of using the concurrent functional language Erlang to implement a classical vertical application, a risk management information system, are present...