1912 search results - page 249 / 383 » XML Technologies and Software Engineering |
ESEC
1999
Springer
14 years 17 days ago
1999
Springer
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...
EUROMICRO
1998
IEEE
14 years 16 days ago
1998
IEEE
As commodity microprocessors and networks reach performance levels comparable to those used in massively parallel processors, clusters of symmetric multiprocessors are starting to...
COMPSAC
2004
IEEE
14 years 22 hour ago
2004
IEEE
Input validation refers to checking user inputs to a program to ensure that they conform to expectations of the program. Input validation is used to check the format of numbers and...
CAISE
2006
Springer
14 years 20 hour ago
2006
Springer
The quest for designing secure and trusted software has led to refined Software Engineering methodologies that rely on tools to support the design process. Automated reasoning mech...
IJWET
2008
13 years 6 months ago
2008
: Building service-based architectures has become a major area of interest since the advent of web services. Modelling these architectures is a central activity. Model-driven devel...