1776 search results - page 198 / 356 » Using a Logic Programming Language with Persistence and Cont... |
128
Voted
KBSE
2005
IEEE
15 years 9 months ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
128
Voted
AAAI
2008
15 years 6 months ago
2008
Program debugging is one of the most time-consuming parts of the software development cycle. In recent years, automatic debugging has been an active research area in software engi...
136
click to vote
WSCG
2003
15 years 5 months ago
2003
The use of Virtual Environments as a user interface can be important for certain types of applications, especially in the fields of education and entertainment. These synthetic wo...
162
Voted
ARTS
1997
Springer
15 years 7 months ago
1997
Springer
We introduce PLC-Automata as a new class of automata which are tailored to deal with real-time properties of Programmable Logic Controllers (PLCs). These devices are often used in...
132
Voted
EUROPAR
2005
Springer
15 years 9 months ago
2005
Springer
This paper describes a novel approach to performance analysis for parallel and distributed systems that is based on soft computing. We introduce the concept of performance score re...