7202 search results - page 1061 / 1441 » Software System Engineering: A Tutorial |
185
click to vote
WCE
2007
15 years 8 months ago
2007
—Linear equations provide useful tools for understanding the behavior of a wide variety of phenomena— from science and engineering to social sciences. A number of techniques ha...
170
click to vote
COMPSEC
2010
15 years 3 months ago
2010
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi ...
174
click to vote
SMA
2003
ACM
16 years 16 hour ago
2003
ACM
Parametric feature-based CAD data exchange is one of the most important open problems in solid modeling. The problem is significant and challenging both scientifically and comme...
180
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
Service-oriented architectures (SOA) will provide the basis of the next generation of distributed software systems, and have already gained enormous traction in the industry throu...
143
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
Component-Based Development(CBD) is an emerging discipline for promoting practical reuse of software. In CBD, by building new software with independently developed components, we ...