1937 search results - page 114 / 388 » Starting B Specifications from Use Cases |
133
click to vote
COMPSAC
2010
IEEE
15 years 2 months ago
2010
IEEE
We present a pattern-based method to express time specifications in the language TLA+ . A real-time module RealTimeNew is introduced to encapsulate the definitions of commonly used...
162
click to vote
AOSE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Although much effort has been spent on suggesting and implementing new architectures of Multi-Agent Systems (MAS), the evaluation and comparison of these has often been d...
126
Voted
GLOBECOM
2009
IEEE
15 years 11 months ago
2009
IEEE
—Significant research has been done on recognizing the daily activities using acceleration data but few works have focused on classifying the movements comprising an activity du...
139
click to vote
HICSS
2007
IEEE
15 years 11 months ago
2007
IEEE
— The UML is a collection of 13 diagram notations to describe different views of a software system. The existing diagram types display model elements and their relations. Softwar...
177
Voted
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
Parallel genetic algorithms (PGAs) have been developed to reduce the large execution times that are associated with serial genetic algorithms (SGAs). They have also been used to s...