3432 search results - page 227 / 687 » Model Development in the UML-based Specification Environment... |
175
click to vote
FLAIRS
2006
15 years 8 months ago
2006
This paper describes an investigation into the refinement of context-based human behavior models through the use of experiential learning. Specifically, a tactical agent was endow...
173
click to vote
ICECCS
2007
IEEE
15 years 11 months ago
2007
IEEE
A current trend in the software engineering community is to integrate different tools in a friendly and powerful development environment for use by final users. This is also the c...
229
click to vote
TABLEAUX
1998
Springer
15 years 11 months ago
1998
Springer
ple (Extended Abstract) Edmund M. Clarke and Sergey Berezin Carnegie Mellon University -- USA Model checking is an automatic verification technique for finite state concurrent syst...
191
click to vote
ICECCS
2005
IEEE
16 years 24 days ago
2005
IEEE
SOFL is a formal language and method for software system analysis, specification and design and it fully supports structured techniques and object-oriented techniques. AOP (Aspect...
198
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
— Over the last few years, the complexity of aquatic sensing applications has increased as a result of demands for: higher spatial coverage with high resolution monitoring, under...