2500 search results - page 219 / 500 » Specifying Behavior in C |
191
Voted
VL
2008
IEEE
16 years 1 months ago
2008
IEEE
Visual modeling languages for discrete behavior modeling allow the modeler to describe how systems develop over time during system runs. Models of these languages are the basis fo...
174
Voted
ASIACRYPT
2007
Springer
16 years 1 months ago
2007
Springer
Recent collision-finding attacks against hash functions such as MD5 and SHA-1 motivate the use of provably collision-resistant (CR) functions in their place. Finding a collision ...
220
Voted
ECOOP
2007
Springer
16 years 1 months ago
2007
Springer
We present MJ: a language for specifying general classes whose members are produced by iterating over members of other classes. We call this technique “class morphing” or just ...
146
Voted
ER
2007
Springer
16 years 1 months ago
2007
Springer
An information system maintains a representation of the state of the domain in its Information Base (IB). The state of the IB changes due to the execution of the operations defined...
197
Voted
ICWE
2007
Springer
16 years 1 months ago
2007
Springer
In recent years, innovation in technologies such as web services, business process automation, etc., have motivated a new paradigm in the application development field to appear, k...