4895 search results - page 399 / 979 » Tools for Grammar Engineering |
210
click to vote
EUROMICRO
2006
IEEE
16 years 25 days ago
2006
IEEE
Understanding complex component-based systems often requires getting insight in how certain system properties, such as performance, trust, reliability, or structural attributes, c...
184
click to vote
MSR
2005
ACM
16 years 10 days ago
2005
ACM
One of the most successful applications of static analysis based bug finding tools is to search the source code for violations of system-specific rules. These rules may describe h...
168
click to vote
UIST
2005
ACM
16 years 10 days ago
2005
ACM
Decision-theoretic optimization is becoming a popular tool in the user interface community, but creating accurate cost (or utility) functions has become a bottleneck — in most c...
175
click to vote
ICESS
2005
Springer
16 years 9 days ago
2005
Springer
Complexity of software systems has significantly grown with social dependence on computer system, especially for mobile and internet. So we present component-based communication pr...
178
click to vote
SEKE
2005
Springer
16 years 8 days ago
2005
Springer
The paper presents an approach to support run-time verification of software systems that combines two existing tools, Prospec and Java-MaC, into a single framework. Prospec can be...