660 search results - page 77 / 132 » Formalizing the Development of Agent-Based Systems Using Gra... |
145
click to vote
GI
2009
Springer
15 years 9 days ago
2009
Springer
Abstract: Model based testing promises systematic test coverage in a continuous testing process. However, in practice, model based testing struggles with informal specifications, d...
151
click to vote
CSI
2007
15 years 2 months ago
2007
The Reference Model of Open Distributed Processing (RM-ODP) is a joint standardization effort by ITU-T and ISO/IEC for the specification of large open distributed systems. RM-ODP ...
109
Voted
ICDAR
2009
IEEE
15 years 8 days ago
2009
IEEE
This paper proposes a syntactic method for detection and correction of misrecognized mathematical formulae for a practical mathematical OCR system. Linear monadic context-free tre...
168
Voted
CAV
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. The underground malware-based economy is flourishing and it is evident that the classical ad-hoc signature detection methods are becoming insufficient. Malware authors ...
115
Voted
IJFCS
2006
15 years 2 months ago
2006
In recent years, workflow technology has greatly facilitated business process modeling and reengineering in information systems. On one hand, the separation of an application'...