504 search results - page 55 / 101 » Modular System Development with Pullbacks |
167
Voted
SEFM
2005
IEEE
16 years 12 days 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...
185
Voted
OR
2010
Springer
15 years 5 months 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...
176
Voted
ECOOP
2007
Springer
16 years 1 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...
192
click to vote
TMC
2011
15 years 1 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...
190
Voted
IACR
2011
14 years 6 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...