Sciweavers

4919 search results - page 258 / 984
» A Process-Ontological Model for Software Engineering
Sort
View
ICSE
1995
IEEE-ACM
15 years 8 months ago
Decentralised Process Enactment in a Multi-Perspective Development Environment
The ViewPoints framework for distributed and concurrent software engineering provides an alternative approach to traditional centralised software development environments. We inve...
Ulf Leonhardt, Jeff Kramer, Bashar Nuseibeh
VAMOS
2007
Springer
15 years 10 months ago
Modelling Variation in Quality Attributes
In a software product line different products often require different levels of quality attributes. In several domains quality attribute variability gets even more importance that...
Leire Etxeberria, Goiuria Sagardui Mendieta, Lorea...
AVI
2008
15 years 6 months ago
Agent warp engine: formula based shape warping for networked applications
Computer visualization and networking have advanced dramatically over the last few years, partially driven by the exploding video game market. 3D hardware acceleration has reached...
Alexander Repenning, Andri Ioannidou
129
Voted
NOCS
2007
IEEE
15 years 10 months ago
On Characterizing Performance of the Cell Broadband Engine Element Interconnect Bus
Abstract – With the rise of multicore computing, the design of onchip networks (or networks on chip) has become an increasingly important component of computer architecture. The ...
Thomas William Ainsworth, Timothy Mark Pinkston
POPL
2006
ACM
16 years 4 months ago
Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...
Steve Bishop, Matthew Fairbairn, Michael Norrish, ...