1781 search results - page 163 / 357 » An Emerging Need for a New Software Engineering Method |
111
click to vote
ATAL
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Positioned at the confluence between human/machine and hardware/software integration and backed by a solid proof of concept realized through several scenarios encompassin...
ESSOS
2010
Springer
15 years 9 months ago
2010
Springer
In the challenge of ensuring the correct behaviour of legacy implementations of security protocols, a formally-based approach is presented to design and implement monitors that sto...
CISIS
2008
IEEE
15 years 7 months ago
2008
IEEE
Solving problems raised by heterogeneous ontologies can be achieved by matching the ontologies and processing the resulting alignments. This is typical of data mediation in which ...
108
Voted
CSSE
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract: The need of communication protocols in today’s environment increases as much as the network explores. Many new kinds of protocols, e.g. for information sharing, securit...
126
Voted
ADAEUROPE
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. The control flow graph is the basis for many code optimisation and analysis techniques. We introduce a new framework for the construction of powerful CFG-based represent...