2881 search results - page 315 / 577 » Model Checking for Programming Languages using Verisoft |
165
click to vote
IWPC
2003
IEEE
15 years 12 months ago
2003
IEEE
In the last decades several tools and environments defined and introduced languages for querying, navigating sforming abstract syntax trees. These environments were meant to supp...
155
click to vote
ECOOP
2005
Springer
16 years 4 days ago
2005
Springer
There are numerous mechanisms for separation of concerns at the source code level. Three mechanisms that are the focus of recent attention – metadata annotations, pointcuts and a...
188
click to vote
APPINF
2003
15 years 8 months ago
2003
We present an application prototype of dynamic knowledge representation programmed in LUPS (a language for updating logic programs). This is a case study to model intelligent agen...
160
click to vote
UM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. User behaviors on a system vary not only among individuals but also within the same user when he/she gains experience on the system. We empirically investigated how indiv...
136
click to vote
WSC
2000
15 years 8 months ago
2000
We summarize progress achieved on an interactive land use VRML application (ILUVA) with servlet assist. The purpose of this application is to enable one to take a virtual land are...