1527 search results - page 149 / 306 » From Requirements to Design: Formalizing the Key Steps |
179
click to vote
RTCSA
2005
IEEE
16 years 3 days ago
2005
IEEE
Context-aware middleware encompasses uniform ions and reliable services for common operations, supports for most of the tasks involved in dealing with context, and thus simplifyin...
134
click to vote
ENTCS
2008
15 years 6 months ago
2008
We report our experience with exploring a new point in the design space for formal reasoning systems: the development of the programming language mega. mega is intended as both a ...
177
click to vote
JUCS
2008
15 years 6 months ago
2008
: This paper presents a novel market model for balancing communication bandwidth trade. The distinguishing characteristic of the model is that it assumes that market players can pl...
177
click to vote
INFORMATICALT
2007
15 years 6 months ago
2007
Abstract. Deniable authenticated protocol is a new cryptographic authentication protocol that enables a designated receiver to identify the source of a given message without being ...
132
click to vote
JLP
2010
15 years 1 months ago
2010
Model programs are high-level behavioral specifications used for software testing and design analysis. Composition of model programs is a versatile technique that, at one end of t...