8587 search results - page 341 / 1718 » Interactive dynamic abstraction |
175
click to vote
FQAS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The Internet has instigated a critical need for automated tools that facilitate integrating countless databases. Since non-technical end users are often the ultimate repo...
185
click to vote
ECOOP
1995
Springer
15 years 10 months ago
1995
Springer
Abstract. This paper presents a framework of specification and verification for distributed real-time object-oriented systems. An earlier paper [17] introduced a process calculus...
199
click to vote
APN
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Coloured Petri nets (CP-nets or CPNs) is a widely used formalism for describing concurrent systems. CPN Tools provides a mature environment for constructing, simulating, ...
169
click to vote
MSR
2010
ACM
15 years 8 months ago
2010
ACM
Abstract—Change prediction helps developers by recommending program entities that will have to be changed alongside the entities currently being changed. To evaluate their accura...
175
click to vote
ACII
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. This paper proposes a case-based automatic facial AU recognition approach using IGA, which embeds human’s ability to compare into target system. To obtain AU codes of a...