4919 search results - page 751 / 984 » A Process-Ontological Model for Software Engineering |
127
Voted
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
The purpose of this paper is to propose visual models for a web application using Java and XML related technologies. We consider a web application that uses 3tier architecture and...
139
Voted
CODES
2007
IEEE
15 years 10 months ago
2007
IEEE
Performance analysis of microprocessors is a critical step in defining the microarchitecture, prior to register-transfer-level (RTL) design. In complex chip multiprocessor systems...
119
Voted
ICFP
2007
ACM
16 years 3 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
148
Voted
EUROSYS
2008
ACM
16 years 25 days ago
2008
ACM
Financial efficiency is the premier performance measure for most systems. Existing economic ecosystems for distribution of multimedia leave a lot to be desired: client-server plat...
122
Voted
MM
2006
ACM
15 years 9 months ago
2006
ACM
Expressing and analysing data dependency in multimedia streams is promising, since content-aware policies at a transport level would benefit from such services. In this paper we ...