1816 search results - page 225 / 364 » Case study in modeling and simulation validation methodology |
158
click to vote
CIKM
2009
Springer
16 years 15 days ago
2009
Springer
We have studied the problem of linking event information across different languages without the use of translation systems or dictionaries. The linking is based on interlingua in...
157
click to vote
DATE
2007
IEEE
16 years 7 days ago
2007
IEEE
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...
166
click to vote
IPPS
2007
IEEE
16 years 6 days ago
2007
IEEE
In today’s large and complex network scenario vulnerability scanners play a major role from security perspective by proactively identifying the known security problems or vulner...
137
click to vote
ECIS
2004
15 years 7 months ago
2004
In the networked world of today, global virtual teams (GVT) are becoming a common form of work structure. The geographic dispersion in GVT has led to members' high reliance o...
164
click to vote
GECCO
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Software clustering techniques are useful for extracting architectural information about a system directly from its source code structure. This paper starts by examining ...