1008 search results - page 199 / 202 » Integration in Component-Based Software Development Using De... |
PPPJ
2006
ACM
14 years 1 months ago
2006
ACM
The JavaTM programming language is primarily used for platform-independent programming. Yet it also offers many productivity, maintainability and performance benefits for platfo...
VSTTE
2005
Springer
14 years 28 days ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...
TASE
2011
IEEE
12 years 11 months ago
2011
IEEE
Abstract—A fast offset surface generation approach is presented in this paper to construct intersection-free offset surfaces, which preserve sharp features, from freeform triangu...
SAC
2005
ACM
14 years 1 months ago
2005
ACM
Many biological information systems rely on relational database management systems (RDBMS) to manage high-throughput biological data. While keeping these data well archived, organ...
AGENTS
2001
Springer
13 years 12 months ago
2001
Springer
Matchmaking is the process of mediating demand and supply based on profile information. Matchmaking plays a crucial role in agent-based electronic marketplaces: the problem to be ...