1684 search results - page 30 / 337 » Improving the System Software Engineering Interface for Comp... |
AOSE
2005
Springer
14 years 1 months ago
2005
Springer
Several concerns in the development of multi-agent systems (MASs) cannot be represented in a modular fashion. In general, they inherently affect several system modules and cannot b...
ICRE
1998
IEEE
13 years 12 months ago
1998
IEEE
: Scenario-based approaches are becoming ubiquitous in systems analysis and design but their definition and scope remain vague. Complementing the recently proposed CREWS classifica...
IEEECIT
2010
IEEE
13 years 6 months ago
2010
IEEE
Android which Google released as an open-source mobile phone operating system is a Linux-based platform; it consists of the operating system, middleware, and user interface and ap...
APSEC
2000
IEEE
14 years 3 days ago
2000
IEEE
Explosive increase in end-user computing on distributed systems requires that end-users develop application software by themselves. One solution is given as a formula of “a doma...
ISSTA
1998
ACM
13 years 11 months ago
1998
ACM
We present various techniques for improving the time and space efficiency of symbolic model checking for system requirements specified as synchronous finite state machines. We use...