3024 search results - page 353 / 605 » Requirement Engineering in Service-Oriented System Engineeri... |
189
click to vote
SERA
2004
Springer
15 years 12 months ago
2004
Springer
NuEditor is a tool suite supporting specification and verification of software requirements written in NuSCR. NuSCR extends SCR (Software Cost Reduction) notation that has been us...
197
click to vote
TASE
2011
IEEE
14 years 10 months ago
2011
IEEE
—This paper proposes a general scheduling model that extends job-shop scheduling models to incorporate important features of real manufacturing systems. More precisely, each oper...
308
click to vote
IPM
2007
15 years 6 months ago
2007
We consider a network of autonomous peers forming a logically global but physically distributed search engine, where every peer has its own local collection generated by independe...
196
click to vote
SAFECOMP
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Model-based development and automated code generation are increasingly used for actual production code, in particular in mathematical and engineering domains. However, si...
143
click to vote
EUROSYS
2010
ACM
16 years 3 months ago
2010
ACM
Symmetric-ISA (instruction set architecture) asymmetricperformance multicore processors were shown to deliver higher performance per watt and area for codes with diverse architect...