5630 search results - page 353 / 1126 » Computability in Specification |
194
click to vote
USM
2000
15 years 10 months ago
2000
Jini is an infrastructure built on top of the mobile code facilities of the Java programming language enabling clients and services to spontaneously engage in arbitrary usage scena...
195
Voted
APCCM
2008
15 years 8 months ago
2008
Modeling is core software engineering practice. Conceptual models are constructed to establish an abstract understanding of the domain among stakeholders. These are then refined i...
152
click to vote
WISE
2009
Springer
16 years 4 months ago
2009
Springer
Recently, existing design methodologies targeting traditional Web applications have been extended for Rich Internet Application modeling support. These extended methodologies curre...
159
click to vote
CODES
1996
IEEE
15 years 11 months ago
1996
IEEE
This reported work applies a transformational synthesis approach to hardware/software codesign. In this approach, the process of algorithm design is coupled early on with hardware...
202
click to vote
AAAI
2004
15 years 8 months ago
2004
This paper addresses the probabilistic inference of geometric structures from images. Specifically, of synthesizing range data to enhance the reconstruction of a 3D model of an in...