1199 search results - page 108 / 240 » Software Verification and Software Engineering a Practitione... |
125
Voted
MODELS
2009
Springer
15 years 11 months ago
2009
Springer
The second ACES-MB workshop brought together researchers and practitioners interested in model-based software engineering for realtime embedded systems, with a particular focus on ...
137
Voted
SEFM
2007
IEEE
15 years 11 months ago
2007
IEEE
We model security protocols as a game tree using concepts of game semantics. Using this model we ascribe semantics to protocols written in the standard simple arrow notation. Acco...
142
Voted
ACSC
2001
IEEE
15 years 8 months ago
2001
IEEE
Management of system requirements and system architectures is part of any software engineering project. But it is usually very tedious and error prone. In particular, managing the...
157
click to vote
APSEC
2001
IEEE
15 years 8 months ago
2001
IEEE
With the rapid growth of the Internet and pervasive computing activities, the migration of back-end legacy systems to network centric environments has become a focal point for res...
129
click to vote
ASWEC
2010
IEEE
15 years 4 months ago
2010
IEEE
— Service compositions provide a promising way to realize and coordinate automated support for business activities and processes. These business processes and their automated sup...