2500 search results - page 219 / 500 » Specifying Behavior in C |
126
click to vote
VL
2008
IEEE
15 years 10 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...
120
click to vote
ASIACRYPT
2007
Springer
15 years 10 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 ...
150
Voted
ECOOP
2007
Springer
15 years 10 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 ...
100
click to vote
ER
2007
Springer
15 years 10 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...
143
click to vote
ICWE
2007
Springer
15 years 10 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...