Sciweavers

15885 search results - page 2986 / 3177
» The Modest Software Engineer
Sort
View
UML
1997
Springer
14 years 26 days ago
Evaluation of Object-Oriented Modelling Languages: A Comparison Between OML and UML
The following article is motivated by the current efforts of the Object Management Group (OMG) to standardize object-oriented modelling languages. In the face of the great economi...
Michael Prasse
SIGGRAPH
1995
ACM
14 years 26 days ago
Polygon-assisted JPEG and MPEG compression of synthetic images
Recent advances in realtime image compression and decompression hardware make it possible for a high-performance graphics engine to operate as a rendering server in a networked en...
Marc Levoy
FM
1991
Springer
164views Formal Methods» more  FM 1991»
14 years 26 days ago
Formalizing Design Spaces: Implicit Invocation Mechanisms
An important goal of software engineering is to exploit commonalities in system design in order to reduce the complexity of building new systems, support largescale reuse, and pro...
David Garlan, David Notkin
VLDB
1991
ACM
147views Database» more  VLDB 1991»
14 years 25 days ago
Object Placement in Parallel Hypermedia Systems
During the past few years, hypermedia systems have emerged as an essential component of many application domains ranging from software engineering to library information systems. ...
Shahram Ghandeharizadeh, Luis Ramos, Zubair Asad, ...
ASM
2010
ASM
14 years 20 days ago
Starting B Specifications from Use Cases
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
Thiago C. de Sousa, Aryldo G. Russo
« Prev « First page 2986 / 3177 Last » Next »