1837 search results - page 199 / 368 » Architecture = Abstractions over Software |
ICSM
2008
IEEE
15 years 7 months ago
2008
IEEE
An automated approach to the identification of C++0x concepts in function templates is described. Concepts are part of a new language feature appearing in the next standard for C+...
117
click to vote
VTC
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract—NCTUns is a novel network simulator and emulator that has many unique features over traditional network simulators and emulators. It is an open-source software running o...
111
click to vote
ACNS
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. What are the real security issues for a wireless sensor network (WSN) intended to monitor the structural health of a suspension bridge, a subway tunnel or a water distrib...
104
Voted
ASWEC
2006
IEEE
15 years 6 months ago
2006
IEEE
The Kerberos-One-Time protocol is a key distribution protocol promoted for use with Javacards to provide secure communication over the GSM mobile phone network. From inspection we...
99
Voted
FM
2005
Springer
15 years 6 months ago
2005
Springer
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...