504 search results - page 55 / 101 » Modular System Development with Pullbacks |
113
click to vote
SEFM
2005
IEEE
15 years 8 months ago
2005
IEEE
Developing safe multithreaded software systems is difficult due to the potential unwanted interference among concurrent threads. This paper presents a flexible methodology for o...
128
click to vote
OR
2010
Springer
15 years 28 days ago
2010
Springer
Cropping systems models have evolved over the last four decades in response to the demand for modeling to address more complex questions, including issues on sustainable productio...
106
click to vote
ECOOP
2007
Springer
15 years 8 months ago
2007
Springer
Although one of the main promises of aspect-oriented (AO) programming techniques is to promote better software changeability than objectoriented (OO) techniques, there is no empiri...
136
Voted
TMC
2011
14 years 9 months ago
2011
—The inherent channel characteristics of impulse-based UWB networks affect the MAC layer performance significantly. Most previous studies on evaluating MAC protocols are based o...
139
Voted
IACR
2011
14 years 2 months ago
2011
We describe Charm, an extensible framework designed for rapid prototyping of cryptographic systems that utilize the latest advances in cryptography, such as identity and attribute...