5407 search results - page 381 / 1082 » The Software Engineering Global Model |
164
click to vote
CODES
2000
IEEE
15 years 11 months ago
2000
IEEE
Frequency interleaving is introduced as a means of conceptualizing and co-scheduling hardware and software behaviors so that software models with conceptually unbounded state and ...
220
click to vote
ICFEM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Due to new emerging areas in the communication field there is a constant need for the design of novel communication protocols. This demands techniques for a rapid and eff...
158
click to vote
SEKE
2005
Springer
16 years 9 days ago
2005
Springer
Mobile agents provide an effective and flexible style to develop advanced distributed systems. In order to promote interoperability and ensure the quality of mobile agent systems,...
154
click to vote
SCAM
2008
IEEE
16 years 1 months ago
2008
IEEE
An appropriate translation of the data model is central to any language migration effort. Finding a mapping between original and target data models may be challenging for legacy l...
161
click to vote
COMPSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
Many developers who could benefit from building and analysing formal models of their systems are deterred from doing so by the process algebra style input languages of formal mode...