504 search results - page 81 / 101 » Modular System Development with Pullbacks |
115
click to vote
ICWN
2007
15 years 3 months ago
2007
— Management of power and other resources that effect field life is an important consideration in sensor networks. This paper presents and compares alternative agent paradigms ap...
213
click to vote
ECOOP
2009
Springer
16 years 3 months ago
2009
Springer
Reusable APIs often dene usage protocols. We previously developed a sound modular type system that checks compliance with typestate-based protocols while aording a great deal of al...
134
click to vote
MODELS
2009
Springer
15 years 9 months ago
2009
Springer
Model-based development of highly complex software systems leads to large models. Storing them in repositories offers the possibility to work with these models in a distributed env...
163
click to vote
IPPS
2006
IEEE
15 years 8 months ago
2006
IEEE
Image and video codecs are prevalent in multimedia devices, ranging from embedded systems, to desktop computers, to high-end servers such as HDTV editing consoles. It is not uncom...
141
click to vote
ACL2
2006
ACM
15 years 8 months ago
2006
ACM
Support for congruence-based rewriting is built into ACL2. This capability allows ACL2 to treat certain predicate relations ”just like equality” under appropriate conditions a...