Sciweavers

2624 search results - page 231 / 525
» The 2LIP model and its implementations
Sort
View
170
Voted
ETFA
2006
IEEE
15 years 9 months ago
Verification of The Minimum Cost Forwarding Protocol for Wireless Sensor Networks
Wireless sensor networks (WSN) consist of small self-contained devices with computational, sensing and wireless communication capabilities. They allow flexible, powerful, tetherles...
William D. Henderson, Steven Tron
IICS
2003
Springer
15 years 11 months ago
Semantic Geocast Using a Self-organizing Infrastructure
Geocast mechanisms allow a sender to transmit network packets to receivers residing at a certain geographical region. Geocast forms the basis for a number of location-based service...
Jörg Roth
180
Voted
AGTIVE
2007
Springer
16 years 9 days ago
Combining Quality Assurance and Model Transformations in Business-Driven Development
Abstract. Business-driven development is a methodology for developing IT solutions that directly satisfy business requirements. At its core are business processes, which are usuall...
Jana Koehler, Thomas Gschwind, Jochen Malte Kü...
RE
2001
Springer
15 years 10 months ago
XML-Based Method and Tool for Handling Variant Requirements in Domain Models
A domain model describes common and variant requirements for a system family. UML notations used in requirements analysis and software modeling can be extended with “variation p...
Stan Jarzabek, Hongyu Zhang
160
Voted
TAICPART
2006
IEEE
131views Education» more  TAICPART 2006»
16 years 3 days ago
Bogor: A Flexible Framework for Creating Software Model Checkers
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
Robby, Matthew B. Dwyer, John Hatcliff