Sciweavers

3943 search results - page 153 / 789
» Architecture-Level Requirements Specification
Sort
View
ICFEM
2000
Springer
15 years 10 months ago
Using Use Cases in Executable Z
Use Cases are a wide-spread informal method for specifying the requirements of a technical system in the early development phase. Z is a formal notation which aims to support, bes...
Wolfgang Grieskamp, Markus Lepper
IFIP
2000
Springer
15 years 10 months ago
Project-specific Process Configuration in Virtual Enterprises
Virtual enterprises have great difficulty in defining and adapting their business processes across the members of the virtual enterprise. We introduce an approach that allows (semi...
Christian Rupprecht, Thomas Rose, E. van Halm, Ari...
ICAI
2004
15 years 8 months ago
Odin and Hodur: Using Bluetooth Communication for Coordinated Robotic Search
This paper describes a multi-robot system designed to use Bluetooth wireless communication to solve the "Honeybee" task. The Honeybee task is a simple search and navigat...
D. H. Barnhard, J. T. McClain, Bradley J. Wimpey, ...
TVLSI
2008
102views more  TVLSI 2008»
15 years 6 months ago
A Robust 4-PAM Signaling Scheme for Inter-Chip Links Using Coding in Space
Abstract--Increasing demand for high-speed inter-chip interconnects requires faster links that consume less power. Channel coding can be used to lower the required signal-to-noise ...
Kamran Farzan, David A. Johns
COMCOM
2000
143views more  COMCOM 2000»
15 years 6 months ago
Further analysis of the Internet key exchange protocol
Secure communication over the Internet becomes an essential requirement for any value-added Internet application. The use of cryptography for secure communication brings out the r...
Jianying Zhou