Sciweavers

24095 search results - page 342 / 4819
» Researchers and Development - Young Researches
Sort
View
FM
1999
Springer
111views Formal Methods» more  FM 1999»
15 years 11 months ago
Developing BON as an Industrial-Strength Formal Method
Abstract. The emerging Unified Modelling Language has been touted as merging the best features of existing modelling languages, and has been adopted by leading companies and vendo...
Richard F. Paige, Jonathan S. Ostroff
ICLP
2010
Springer
15 years 10 months ago
Methods and Methodologies for Developing Answer-Set Programs - Project Description
Answer-set programming (ASP) is a well-known formalism for declarative problem solving, enjoying a continuously increasing number of diverse applications. However, arguably one of ...
Johannes Oetsch, Jörg Pührer, Hans Tompi...
DAC
2005
ACM
15 years 8 months ago
Matlab as a development environment for FPGA design
In this paper we discuss an efficient design flow from Matlab® to FPGA. Employing Matlab for algorithm research and as system level language allows efficient transition from algo...
Tejas M. Bhatt, Dennis McCain
ECIS
2003
15 years 8 months ago
The value of business intelligence in the context of developing countries
In the corporate context, a combination of constant technological innovation and increasing competitiveness makes the management of information a huge challenge and requires decis...
Maira Petrini, Marlei Pozzebon
AIS
2006
Springer
15 years 6 months ago
Developing methods to understand discourse and workspace in distributed computer-mediated interaction
This paper presents on-going research towards understanding the discourse and workspace in computer mediated interactions. More specifically we present the development of a series...
Renate Fruchter, Humberto Cavallin