1251 search results - page 182 / 251 » A Method for Component-Based Software and System Development |
127
click to vote
WORDS
2005
IEEE
15 years 8 months ago
2005
IEEE
Major computer companies and government agencies are adopting Web Services (WS) technology. Web services must ensure interoperability and security, and be reliable and trustworthy...
136
Voted
ACMSE
2006
ACM
15 years 8 months ago
2006
ACM
In this paper we consider the problem of automatically generating test suites associated with web-based enterprise systems. In particular, we discuss the construction of a tool de...
135
Voted
ENTCS
2008
15 years 2 months ago
2008
The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is a high level of abstraction; detail is added in refinement steps as the de...
96
Voted
ICRA
2005
IEEE
15 years 8 months ago
2005
IEEE
- Using the Darwin2k development software, a genetic algorithm (GA) was used to design and optimize a pipecrawling robot for parameters such as mass, power consumption, and joint e...
120
click to vote
CODES
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper proposes a new efficient buffer management technique called shift buffering for automatic code synthesis from synchronous dataflow graphs (SDF). Two previous buffer man...