3024 search results - page 286 / 605 » Requirement Engineering in Service-Oriented System Engineeri... |
168
click to vote
KBSE
2007
IEEE
16 years 27 days ago
2007
IEEE
Completing software maintenance and evolution tasks for today’s large, complex software systems can be difficult, often requiring considerable time to understand the system well...
184
click to vote
EUROMICRO
2005
IEEE
16 years 7 days ago
2005
IEEE
The guaranty of meeting the timing constraints during the design phase of real-time component-based embedded software has not been realized. To satisfy real-time requirements, we ...
138
click to vote
EPIA
1999
Springer
15 years 11 months ago
1999
Springer
YapOr is an or-parallel system that extends the Yap Prolog system to exploit implicit or-parallelism in Prolog programs. It is based on the environment copying model, as first imp...
220
click to vote
WSE
2002
IEEE
15 years 11 months ago
2002
IEEE
As the use of the World Wide Web becomes more pervasive within our society, businesses and institutions are required to migrate a wide range of services to the web. Difficulties a...
152
click to vote
DATE
2007
IEEE
16 years 29 days ago
2007
IEEE
: - The rising complexity of modern embedded systems is causing a significant increase in the verification effort required by hardware designers and software developers, leading to...