734 search results - page 66 / 147 » Prototyping a Process Monitoring Experiment |
SP
2002
IEEE
13 years 7 months ago
2002
IEEE
Software development is getting more and more complex, especially within distributed middleware-based environments. A major drawback during the overall software development proces...
APL
1993
ACM
13 years 11 months ago
1993
ACM
This paper describes the design of a hybrid language which combines the features of an array processing language and lisp dialect in a consistent and useful manner. This language,...
SRDS
1999
IEEE
13 years 12 months ago
1999
IEEE
Implementing an Online Shop can be a risky project, since there's no widespread and profound knowledge and experiences. This guideline is intended to support managing the org...
CAV
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. This paper develops a local reasoning method to check lineartime temporal properties of concurrent programs. In practice, it is often infeasible to model check over the p...
IJCAI
2003
13 years 9 months ago
2003
We extend multiclass SVM to multiple prototypes per class. For this framework, we give a compact constrained quadratic problem and we suggest an efficient algorithm for its optimi...