850 search results - page 135 / 170 » Simultaneous Communication of Data and State |
MATA
2004
Springer
15 years 3 months ago
2004
Springer
Mobile agents are software entities consisting of code, data and state that can migrate autonomously from host to host executing their code. Unfortunately, security issues restrict...
102
click to vote
FMCO
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
SIGMETRICS
1994
ACM
15 years 1 months ago
1994
ACM
Shade is an instruction-set simulator and custom trace generator. Application programs are executed and traced under the control of a user-supplied trace analyzer. To reduce commu...
EUROPAR
2009
Springer
15 years 1 months ago
2009
Springer
We consider a multi-processor system-on-chip destined for streaming applications. An application is composed of one input and one output queue and in-between, several levels of ide...
CAISE
2006
Springer
15 years 1 months ago
2006
Springer
The development of collaborative environments that not only manage information and communication, but also support the actual work processes of organisations is very important. XML...