Sciweavers

665 search results - page 108 / 133
» Extending Software Development Methodologies to Support Trus...
Sort
View
LREC
2010
221views Education» more  LREC 2010»
14 years 12 months ago
KALAKA: A TV Broadcast Speech Database for the Evaluation of Language Recognition Systems
A speech database, named KALAKA, was created to support the Albayzin 2008 Evaluation of Language Recognition Systems, organized by the Spanish Network on Speech Technologies from ...
Luis Javier Rodríguez-Fuentes, Mikel Pe&nti...
ASE
2006
114views more  ASE 2006»
14 years 10 months ago
Explicit modeling of semantics associated with composite states in UML statecharts
: UML statecharts are used for describing dynamic aspects of system behavior. The work presented here extends a general Petri net-based methodology to support formal modeling of UM...
Zhaoxia Hu, Sol M. Shatz
90
Voted
EUROMED
2010
14 years 9 months ago
Monitoring Air Pollution in the Vicinity of Cultural Heritage Sites in Cyprus Using Remote Sensing Techniques
Abstract. Cultural Heritage Sites are in danger of being destroyed due to several factors, such as earthquakes, uncontrolled urbanization and air pollution. The latest, whether it ...
Kyriakos Themistocleous, Argyro Nisantzi, Diofanto...
KBSE
2005
IEEE
15 years 4 months ago
Designing and implementing a family of intrusion detection systems
Intrusion detection systems are distributed applications that analyze the events in a networked system to identify malicious behavior. The analysis is performed using a number of ...
Richard A. Kemmerer
BIRTHDAY
2003
Springer
15 years 3 months ago
Extreme Model Checking
One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checkin...
Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar,...