3005 search results - page 375 / 601 » Logical Information Systems: from Taxonomies to Logics |
159
click to vote
CASES
2006
ACM
16 years 18 days ago
2006
ACM
In this paper we study, through a concrete case, the feasibility of using a high-level, general-purpose logic language in the design and implementation of applications targeting w...
190
click to vote
SAFECOMP
2005
Springer
16 years 3 days ago
2005
Springer
As programmable logic controllers(PLCs) have been used in safety-critical applications, testing of PLC applications has become important. The previous PLC-based software testing te...
190
Voted
TACAS
2004
Springer
15 years 12 months ago
2004
Springer
Numerical analysis based on uniformisation and statistical techniques based on sampling and simulation are two distinct approaches for transient analysis of stochastic systems. We ...
169
click to vote
ANSS
2000
IEEE
15 years 11 months ago
2000
IEEE
The abilityto predict the performance of a simulationapplicationbefore its implementationis an important factor to the adoption of parallel simulation technology in industry. Idea...
191
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
The need for process support in the context of web services has triggered the development of many languages, systems, and standards. Industry has been developing software solutions...