1855 search results - page 199 / 371 » Composing model programs for analysis |
187
Voted
OOPSLA
2001
Springer
15 years 7 months ago
2001
Springer
The goal of points-to analysis for Java is to determine the set of objects pointed to by a reference variable or a reference object field. This information has a wide variety of ...
125
click to vote
ISSTA
2004
ACM
15 years 8 months ago
2004
ACM
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...
130
Voted
AIMSA
2006
Springer
15 years 7 months ago
2006
Springer
For a multiagent system (MAS), coordination is the assumption that agents are able to adapt their behavior according to those of the other agents. The principle of Property Based C...
136
click to vote
DSN
2004
IEEE
15 years 7 months ago
2004
IEEE
Recent developments in the field of object-based fault tolerance and the advent of the first OMG FTCORBA compliant middleware raise new requirements for the design process of dist...
158
click to vote
DAS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. This paper describes a method of producing segmentation point candidates for on-line handwritten Japanese text by a support vector machine (SVM) to improve text recogniti...