4902 search results - page 300 / 981 » Structures, Semantics and Statistics |
187
click to vote
IEE
2008
15 years 6 months ago
2008
ion techniques are indispensable for the specification and verification of functional behavior of programs. In object-oriented ation languages like JML, a powerful abstraction tec...
157
click to vote
JLP
2006
15 years 6 months ago
2006
Development graphs are a tool for dealing with structured specifications in a formal program development in order to ease the management of change and reusing proofs. In this work...
175
click to vote
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...
190
click to vote
ER
2001
Springer
15 years 11 months ago
2001
Springer
WSDM is an audience driven design method for web sites. By explicitly starting from the requirements of the web sites audience (the users or visitors), WSDM avoids problems caused ...
207
click to vote
AVI
2008
15 years 9 months ago
2008
An emerging trend in Web computing aims at collecting and integrating distributed data. For instance, community driven efforts recently have build ontological repositories made of...