2702 search results - page 333 / 541 » Practically Applicable Formal Methods |
139
Voted
WWW
2003
ACM
16 years 3 months ago
2003
ACM
This paper presents a design methodology that deals with the presentation aspects involved in the development of a Semantic Web Information System. The methodology is driven by tw...
151
click to vote
SCOPES
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Synthesis of digital signal processing (DSP) software from dataflow-based formal models is an effective approach for tackling the complexity of modern DSP applications. I...
113
Voted
CODES
2003
IEEE
15 years 7 months ago
2003
IEEE
Current methods cannot synthesize real-time embedded software applications when the global deadline of a task is shorter than the total of all local deadlines along a critical pat...
118
click to vote
ACMDIS
2000
ACM
15 years 7 months ago
2000
ACM
To create successful interactive systems, user interface designers need to cooperate with developers and application domain experts in an interdisciplinary team. These groups, how...
153
Voted
LWA
2007
15 years 4 months ago
2007
Web 2.0 applications like Flickr, YouTube, or Del.icio.us are increasingly popular online communities for creating, editing and sharing content. However, the rapid increase in siz...