394 search results - page 15 / 79 » Composing Specifications |
EEE
2005
IEEE
14 years 3 months ago
2005
IEEE
A company doing e-business needs capabilities to negotiate electronically the parameters of its deals in order to fully utilize the potential of the Information and Communication ...
FORTE
2004
13 years 11 months ago
2004
Eliciting, modeling, and analyzing the requirements are the main challenges to face up when you want to produce a formal specification for distributed systems. The distribution and...
SIGSOFT
2008
ACM
14 years 10 months ago
2008
ACM
Program specifications are important for many tasks during software design, development, and maintenance. Among these, temporal specifications are particularly useful. They expres...
EUROCRYPT
2008
Springer
13 years 12 months ago
2008
Springer
We study obfuscation of point functions with multibit output and other related functions. A point function with multibit output returns a string on a single input point and zero ev...
EUROPAR
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. Typical sensor nodes are composed of cheap hardware because they have to be affordable in great numbers. This means that memory and communication bandwidth are small, CPU...