2153 search results - page 384 / 431 » From Requirements Models to Formal Specifications in B |
ISCAS
2006
IEEE
14 years 4 months ago
2006
IEEE
Abstract— The heterogeneity in the current and future multimedia environment requires an elegant adaptation framework for the production and consumption of different kinds of mul...
RSP
2003
IEEE
14 years 3 months ago
2003
IEEE
In this paper, an efficient design flow integrating Mentor Graphics Precesion C and HDL designer is derived. In this hybrid prototyping environment, efficient FPGA architectures a...
BTW
2003
Springer
14 years 3 months ago
2003
Springer
Abstract: This paper introduces the Internet Operating Platform (IOP), an enterprise framework for large scale software development. In addition to obeying to important standards (...
WMCSA
2002
IEEE
14 years 3 months ago
2002
IEEE
The emergence of pervasive networked data sources, such as web services, sensors, and mobile devices, enables context-sensitive, mobile applications. We have developed a programmi...
HICSS
1998
IEEE
14 years 2 months ago
1998
IEEE
In this paper, Accountability Centered Approach (ACA) is proposed for business process engineering. The ACA approach enables the designers and users to focus on the requirements a...