575 search results - page 55 / 115 » Towards Electrical, Integrated Implementations of SIMPL Syst... |
126
click to vote
COLCOM
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract—An overview of recent advances in secure peerto-peer networking is presented, toward enforcing data integrity, confidentiality, availability, and access control policie...
103
click to vote
ISSTA
2006
ACM
15 years 10 months ago
2006
ACM
Assertions have long been used to validate the functionality of software systems. Researchers and practitioners have extended them for validation of non-functional requirements, s...
143
click to vote
BIRTHDAY
2008
Springer
15 years 6 months ago
2008
Springer
Embedded systems are electronic devices that function in the context of a physical environment, by sensing and reacting to a set of stimuli. To simplify the design of embedded syst...
144
click to vote
IPPS
2005
IEEE
15 years 10 months ago
2005
IEEE
In recent years, we have seen a dramatic increase in the use of data-centric distributed systems such as global grid infrastructures, sensor networks, network monitoring, and vari...
138
click to vote
WSC
1996
15 years 5 months ago
1996
Much of the research in parallel discrete-event simulation (PDES) has resulted in new experimental simulation languages or toolkits. Meanwhile, the simulation community continues ...