977 search results - page 186 / 196 » Formal methods integration in software engineering |
128
Voted
CSI
2007
14 years 11 months ago
2007
The Reference Model of Open Distributed Processing (RM-ODP) is a joint standardization effort by ITU-T and ISO/IEC for the specification of large open distributed systems. RM-ODP ...
106
click to vote
LCTRTS
2009
Springer
15 years 6 months ago
2009
Springer
The StreamIt programming model has been proposed to exploit parallelism in streaming applications on general purpose multicore architectures. The StreamIt graphs describe task, da...
82
Voted
COMSWARE
2006
IEEE
15 years 5 months ago
2006
IEEE
Given the fast growing technological progress in microelectronics and wireless communication devices, in the near future, it is foreseeable that Wireless Sensor Networks (WSN) wil...
125
click to vote
TCBB
2010
14 years 6 months ago
2010
This paper integrates the signal, context and structure features for genome-wide promoter recognition, which is critical in many DNA sequence analysis tasks. First, CpG islands ar...
73
Voted
WWW
2004
ACM
16 years 10 days ago
2004
ACM
The ability of the Web to share data regardless of geographical location raises a new issue called remote authoring. With the Internet and Web browsers being independent of hardwa...