4919 search results - page 558 / 984 » A Process-Ontological Model for Software Engineering |
145
click to vote
FOSSACS
2003
Springer
15 years 10 months ago
2003
Springer
We define an operational semantics and a type system for manipulating semistructured data that contains hidden information. The data model is simple labeled trees with a hiding op...
135
click to vote
INFSOF
2000
15 years 5 months ago
2000
The paper shows a SHEL oriented requirements engineering approach, which has been applied in a case study dealing with the definition of the requirements for a new railways traffi...
123
click to vote
TCAD
2010
14 years 12 months ago
2010
Abstract--An efficient passivity test based on canonical projector techniques is proposed for descriptor systems (DSs) widely encountered in circuit and system modeling. The test f...
185
click to vote
TCAD
2010
14 years 12 months ago
2010
Global routing for modern large-scale circuit designs has attracted much attention in the recent literature. Most of the state-of-the-art academic global routers just work on a sim...
197
click to vote
SIAMCOMP
2011
14 years 8 months ago
2011
We consider the problem of testing graph expansion (either vertex or edge) in the bounded degree model [10]. We give a property tester that given a graph with degree bound d, an ex...